Searched refs:kernel_entry_t (Results 1 – 4 of 4) sorted by relevance
296 typedef void __noreturn (*kernel_entry_t)(int, ulong, ulong, ulong); in boot_jump_linux() typedef297 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()
143 ((kernel_entry_t)0)(ft_addr, 0, NULL); in platform_init()
22 typedef void (*kernel_entry_t)(unsigned long r3, unsigned long r4, void *r5); typedef