Searched refs:kernel_pmap_vaddr (Results 1 – 1 of 1) sorted by relevance
684 vm_offset_t kernel_pmap_vaddr = vaddr - KERN_PROTECT_REGION_SIZE; in arm_vm_kernel_el0_map() local685 arm_vm_map(cpu_tte, kernel_pmap_vaddr, pte); in arm_vm_kernel_el0_map()