Searched refs:kernel_entry_t (Results 1 – 4 of 4) sorted by relevance
13 typedef void __noreturn (*kernel_entry_t)(bool efi, unsigned long cmdline, typedef50 kernel_entry_t real_kernel_entry; in efi_boot_kernel()
230 kernel_entry_t kentry; in start()271 kentry = (kernel_entry_t) vmlinux.addr; in start()
136 ((kernel_entry_t)0)(ft_addr, 0, NULL); in platform_init()
20 typedef void (*kernel_entry_t)(unsigned long r3, unsigned long r4, void *r5); typedef