Searched defs:kernel_entry_t (Results 1 – 3 of 3) 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
22 typedef void (*kernel_entry_t)(unsigned long r3, unsigned long r4, void *r5); typedef