Searched refs:kernel_pmap_vaddr (Results 1 – 1 of 1) sorted by relevance
684 vm_offset_t kernel_pmap_vaddr = vaddr - ((ARM_TT_ROOT_INDEX_MASK + ARM_TT_ROOT_SIZE) / 2ULL); in arm_vm_kernel_el0_map() local685 arm_vm_map(cpu_tte, kernel_pmap_vaddr, pte); in arm_vm_kernel_el0_map()