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

/haiku/src/system/boot/platform/openfirmware/
H A Dstart.cpp49 get_kernel_entry(void) function
68 addr_t kernelEntry = get_kernel_entry();
/haiku/src/system/boot/platform/efi/
H A Dstart.cpp135 get_kernel_entry(void) function
183 addr_t kernelEntry = get_kernel_entry();

Completed in 44 milliseconds