Searched defs:kernel_start (Results 1 – 4 of 4) sorted by relevance
50 u_long kernel_start, kernel_size, kernel_entry; efi_boot_kernel() local
55 void *kernel_start; variable
126 paddr_t kernel_start; variable
643 kernel_start: label