Home | History | Annotate | Download | only in arm32

Lines Matching defs:kernel_size

493 	size_t kernel_size = bmi->bmi_kernelend;
494 	kernel_size -= (bmi->bmi_kernelstart & -L2_S_SEGSIZE);
495 	kernel_size += L1_TABLE_SIZE;
496 	kernel_size += PAGE_SIZE * KERNEL_L2PT_VMDATA_NUM;
497 	kernel_size += PAGE_SIZE * KERNEL_L2PT_KASAN_NUM;
499 		kernel_size += PAGE_SIZE;	/* L2PT for VECTORS */
502 		kernel_size += PAGE_SIZE;	/* L2PT for IO */
504 	kernel_size +=
507 	kernel_size += round_page(MSGBUFSIZE);
508 	kernel_size += 0x10000;	/* slop */
510 		kernel_size += PAGE_SIZE
511 		    * howmany(kernel_size, L2_S_SEGSIZE);
513 	kernel_size = round_page(kernel_size);
519 	    howmany(kernel_size, L2_S_SEGSIZE);
522 	    __func__, KERNEL_L2PT_KERNEL_NUM, kernel_size);