Searched refs:kernel_size (Results 1 – 4 of 4) sorted by relevance
50 u_long kernel_size; efi_boot_kernel() local
493 size_t kernel_size = bmi->bmi_kernelend; in arm32_kernel_vm_init() local494 kernel_size -= (bmi->bmi_kernelstart & -L2_S_SEGSIZE); in arm32_kernel_vm_init()495 kernel_size += L1_TABLE_SIZE; in arm32_kernel_vm_init()496 kernel_size += PAGE_SIZE * KERNEL_L2PT_VMDATA_NUM; in arm32_kernel_vm_init()497 kernel_size += PAGE_SIZE * KERNEL_L2PT_KASAN_NUM; in arm32_kernel_vm_init()499 kernel_size += PAGE_SIZE; /* L2PT for VECTORS */ in arm32_kernel_vm_init()502 kernel_size += PAGE_SIZE; /* L2PT for IO */ in arm32_kernel_vm_init()504 kernel_size += in arm32_kernel_vm_init()507 kernel_size += round_page(MSGBUFSIZE); in arm32_kernel_vm_init()508 kernel_size += 0x10000; /* slop */ in arm32_kernel_vm_init()[all …]
51 u_long kernel_start, kernel_size, kernel_entry; in efi_boot_kernel() 55 kernel_size = marks[MARK_END] - kernel_start; in efi_boot_kernel() 60 aarch64_dcache_wbinv_range(kernel_start, kernel_size); in efi_boot_kernel() 50 u_long kernel_start, kernel_size, kernel_entry; efi_boot_kernel() local
57 int kernel_size = 0 /* 387321 */ /* XXX XXX XXX */; variable96 printf("Decompressing %d bytes to 0x%lx\n", kernel_size, in main()99 kernel_size); in main()