Searched defs:kernel_range (Results 1 – 1 of 1) sorted by relevance
93 kernel_range: Range<usize>, field117 let kernel_range = page_aligned_range(page_size, v0.kernel_size, page_size)?; in new() localVariable144 kernel_range: Range<usize>, field157 let kernel_range = page_aligned_range(PAGE_SIZE, v3.kernel_size, PAGE_SIZE)?; in new() localVariable393 let kernel_range = boot_img.kernel_range; in load_verify_v2_and_lower() localVariable