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