ia32_post_cpu_init 71 kernel/arch/ia32/src/ia32.c static void ia32_post_cpu_init(void); ia32_post_cpu_init 78 kernel/arch/ia32/src/ia32.c .post_cpu_init = ia32_post_cpu_init,