Searched refs:initrd_end_page (Results 1 – 1 of 1) sorted by relevance
147 uint32_t initrd_end_page, max_allowed_page; in load_kernel() local165 initrd_end_page = ((uint32_t)(initrd_addr + initrd_size) & -4096); in load_kernel()168 if (initrd_end_page != 0 && max_allowed_page != 0 && in load_kernel()169 initrd_end_page != max_allowed_page) { in load_kernel()