Searched refs:kernel_x_end (Results 1 – 1 of 1) sorted by relevance
1606 phys_addr_t kernel_x_end = round_up(__pa(__init_end), SECTION_SIZE); in map_kernel() local1607 phys_addr_t kernel_nx_start = kernel_x_end; in map_kernel()1613 map.length = kernel_x_end - kernel_x_start; in map_kernel()1618 if (kernel_x_end == kernel_nx_end) in map_kernel()
