Searched refs:kernel_x_end (Results 1 – 1 of 1) sorted by relevance
1598 phys_addr_t kernel_x_end = round_up(__pa(__init_end), SECTION_SIZE); in map_kernel()1599 phys_addr_t kernel_nx_start = kernel_x_end; in map_kernel()1617 map.length = kernel_x_end - kernel_x_start; in map_kernel()1622 if (kernel_x_end == kernel_nx_end) in map_kernel()