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