2 * Copyright 2007, Travis Geiselbrecht. All rights reserved.
3 * Distributed under the terms of the MIT License.
10 #include <KernelExport.h>
17 arch_commpage_init(void)
19 /* no optimized memcpy or anything yet */
20 /* we don't use it for syscall yet either */
26 arch_commpage_init_post_cpus(void)