Searched defs:kernel_entry_t (Results 1 – 2 of 2) sorted by relevance
12 typedef void __noreturn (*kernel_entry_t)(bool efi, unsigned long cmdline, typedef
20 typedef void (*kernel_entry_t)(unsigned long r3, unsigned long r4, void *r5); typedef