Searched refs:arch_init (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dsetup.c79 arch_init(start_info_t *si) function
/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Dkernel.c122 arch_init(si);
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/
H A Dos.h57 void arch_init(start_info_t *si);

Completed in 94 milliseconds