Searched defs:kernel_entry_t (Results 1 – 3 of 3) sorted by relevance
13 typedef void __noreturn (*kernel_entry_t)(bool efi, unsigned long cmdline, typedef
295 typedef void __noreturn (*kernel_entry_t)(int, ulong, ulong, ulong); in boot_jump_linux() typedef
20 typedef void (*kernel_entry_t)(unsigned long r3, unsigned long r4, void *r5); typedef