map_pa_at_va
map_pa_at_va(ktext_phys + off, target_kernel_text + off, level);
map_pa_at_va(start, start, 0);