Searched refs:kernel_size (Results 1 – 2 of 2) sorted by relevance
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 …]
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()