Searched refs:map_kernel (Results 1 – 4 of 4) sorted by relevance
20 obj-$(CONFIG_X86_64) += gdt_idt.o map_kernel.o
39 static void __init map_kernel(u64 kaslr_offset, u64 va_offset, int root_level) in map_kernel() function281 map_kernel(kaslr_offset, va_base - pa_base, root_level); in early_map_kernel()
39 map_kernel.pi.o map_range.pi.o \
872 static void __init map_kernel(void) in map_kernel() function929 map_kernel(); in srmmu_paging_init()