Searched defs:kernel_entry (Results 1 – 2 of 2) sorted by relevance
29 uint64_t kernel_entry; member
87 unsigned long kernel_entry = entrypoint + stext_offset(); in efi_enter_kernel() local