entry_t            39 bsp/boot/common/main.c typedef void (*entry_t)(void);
entry_t            55 bsp/boot/common/main.c 	entry_t entry;
entry_t            88 bsp/boot/common/main.c 	entry = (entry_t)kvtop(bootinfo->kernel.entry);