Lines Matching defs:virt
1478 vm_offset_t pmap_tte(pmap_t pmap, vm_offset_t virt)
1482 if ((tte_offset_begin + L1_SIZE) < addr_to_tte(pmap->pm_l1_virt, virt))
1484 return addr_to_tte(pmap->pm_l1_virt, virt);
1490 vm_offset_t pmap_pte(pmap_t pmap, vm_offset_t virt)
1492 uint32_t *tte_offset = (uint32_t *) pmap_tte(pmap, virt);
1508 if (pmap != kernel_pmap && virt >= _COMM_PAGE_BASE_ADDRESS)
1528 ptep = (uint32_t *) ((phys_to_virt(pte) + pte_offset(virt)));
1624 vm_offset_t pmap_map(vm_offset_t virt, vm_map_offset_t start_addr, vm_map_offset_t end_addr, vm_prot_t prot, unsigned int flags)
1630 pmap_enter(kernel_pmap, (vm_map_offset_t) virt, (start_addr >> PAGE_SHIFT), prot, flags, FALSE, TRUE);
1631 virt += ps;
1634 return (virt);
1755 boolean_t pmap_map_bd(vm_offset_t virt, vm_map_offset_t start, vm_map_offset_t end, vm_prot_t prot, unsigned int flags)
1773 uint32_t ptep = (uint32_t) (pmap_pte(kernel_pmap, virt));
2044 uint32_t virt = (va & L2_ADDR_MASK), par;
2050 if (virt == _COMM_PAGE_BASE_ADDRESS) {
2074 armreg_va2pa_pr_ns_write(virt);
2076 armreg_va2pa_ur_ns_write(virt);
2117 uint32_t virt = (va & L2_ADDR_MASK), par;
2123 if (virt == _COMM_PAGE_BASE_ADDRESS) {
2147 armreg_va2pa_pr_ns_write(virt);
2149 armreg_va2pa_ur_ns_write(virt);
2544 vm_offset_t pmap_extract(pmap_t pmap, vm_offset_t virt)
2549 uint32_t tte, *ttep = pmap_tte(pmap, virt);
2577 ppn |= (virt & ~(L1_SECT_ADDR_MASK));
2596 ptep = (uint32_t *) ((phys_to_virt(pte) + pte_offset(virt)));
2613 ppn |= (virt & ~(L2_ADDR_MASK));
2631 uint32_t va = (virt & L2_ADDR_MASK), par;
2672 pa |= (virt & ~(L2_ADDR_MASK));