Searched refs:kernel_entry_t (Results 1 – 5 of 5) 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()
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()
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