Searched refs:cpu_init (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/hw/include/hw/
H A Dkernel.h14 void cpu_init(void);
/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/
H A Dboot.c43 cpu_init();
/seL4-camkes-master/tools/rumprun/platform/hw/arch/amd64/
H A Dmachdep.c114 cpu_init(void) function
/seL4-camkes-master/tools/rumprun/platform/hw/arch/i386/
H A Dmachdep.c135 cpu_init(void) function

Completed in 114 milliseconds