Searched defs:kernel_entry (Results 1 – 3 of 3) sorted by relevance
55 entrypt kernel_entry = 0 /* (entrypt)0x80030000 */ /* XXX XXX XXX */; variable
50 u_long kernel_start, kernel_size, kernel_entry; efi_boot_kernel() local
114 kaddr_t kernel_entry; member