1 /* 2 ** Copyright 2001, Travis Geiselbrecht. All rights reserved. 3 ** Distributed under the terms of the NewOS License. 4 */ 5 6 #include <kernel/arch/cpu.h> 7 #include <kernel/debug.h> 8 #include <boot/stage2.h> 9 10 11 int arch_cpu_init(kernel_args * ka)12arch_cpu_init(kernel_args *ka) 13 { 14 return 0; 15 } 16 17 18 int arch_cpu_init2(kernel_args * ka)19arch_cpu_init2(kernel_args *ka) 20 { 21 return 0; 22 } 23 24 25 void arch_cpu_idle(void)26arch_cpu_idle(void) 27 { 28 } 29 30