Searched refs:jump_kernel_func (Results 1 – 1 of 1) sorted by relevance
14 typedef void __noreturn (*jump_kernel_func)(unsigned long, unsigned long); typedef88 jump_kernel_func jump_kernel = (jump_kernel_func)kernel_entry; in efi_enter_kernel()