Lines Matching refs:kernel_sec_end
1541 if ((start > kernel_sec_start) && (end < kernel_sec_end)) in map_lowmem()
1547 if ((start < kernel_sec_start) && (end > kernel_sec_end)) { in map_lowmem()
1555 map.pfn = __phys_to_pfn(kernel_sec_end); in map_lowmem()
1556 map.virtual = __phys_to_virt(kernel_sec_end); in map_lowmem()
1557 map.length = end - kernel_sec_end; in map_lowmem()
1564 start = kernel_sec_end; in map_lowmem()
1566 if (kernel_sec_end == end) in map_lowmem()
1568 } else if ((kernel_sec_start < start) && (kernel_sec_end > start) && (kernel_sec_end < end)) { in map_lowmem()
1570 start = kernel_sec_end; in map_lowmem()
1571 } else if ((kernel_sec_start > start) && (kernel_sec_start < end) && (kernel_sec_end > end)) { in map_lowmem()
1609 phys_addr_t kernel_nx_end = kernel_sec_end; in map_kernel()
1656 kernel_sec_end += offset; in early_paging_init()
1767 kernel_sec_start, kernel_sec_end); in paging_init()