2 * Copyright 2007, Travis Geiselbrecht. All rights reserved.
3 * Distributed under the terms of the MIT License.
10 #include <KernelExport.h>
18 arch_commpage_init(void)
20 /* no optimized memcpy or anything yet */
21 /* we don't use it for syscall yet either */
22 // add syscall to the commpage image
23 image_id image
= get_commpage_image();
30 arch_commpage_init_post_cpus(void)