Searched defs:kernel_size (Results 1 – 4 of 4) sorted by relevance
50 u_long kernel_size; efi_boot_kernel() local
57 int kernel_size = 0 /* 387321 */ /* XXX XXX XXX */; variable
50 u_long kernel_start, kernel_size, kernel_entry; efi_boot_kernel() local
493 size_t kernel_size = bmi->bmi_kernelend; in arm32_kernel_vm_init() local