Searched refs:kernel_entry_t (Results 1 – 1 of 1) sorted by relevance
295 typedef void __noreturn (*kernel_entry_t)(int, ulong, ulong, ulong); in boot_jump_linux() typedef296 kernel_entry_t kernel = (kernel_entry_t) images->ep; in boot_jump_linux()