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

/haiku/src/system/boot/platform/efi/arch/x86/
H A Darch_start.cpp25 extern "C" typedef void (*enter_kernel_t)(uint32_t, addr_t, addr_t, addr_t, typedef
61 enter_kernel_t enter_kernel = (enter_kernel_t)0xa000;

Completed in 82 milliseconds