Searched refs:kernel_entry_t (Results 1 – 3 of 3) sorted by relevance
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