Searched refs:kernel_pages (Results 1 – 1 of 1) sorted by relevance
716 uint32_t kernel_pages = (boot_header->kernel_size + 4096 - 1) / 4096; in LoadGkiComplianceV2Images() local718 uint32_t kernel_ramdisk_size = (kernel_pages + ramdisk_pages) * 4096; in LoadGkiComplianceV2Images()