Lines Matching defs:va
208 * mapping_remove(pmap_t pmap, addr64_t va);
221 addr64_t mapping_remove(pmap_t pmap, addr64_t va) { /* Remove a single mapping for this VADDR
228 va &= ~PAGE_MASK; /* Scrub noise bits */
231 mp = hw_rem_map(pmap, va, &nextva); /* Remove a mapping from this pmap */
240 panic("mapping_remove: hw_rem_map failed - pmap = %p, va = %016llX, code = %p\n",
241 pmap, va, mp);
278 * mapping_make(pmap, va, pa, flags, size, prot) - map a virtual address to a real one
284 * va (virtual address) is the 64-bit virtual address that is being mapped
312 addr64_t mapping_make(pmap_t pmap, addr64_t va, ppnum_t pa, unsigned int flags, unsigned int size, vm_prot_t prot) { /* Make an address mapping */
327 panic("mapping_make: invalid physical page configuration request - pmap = %p, va = %016llX, cfg = %d\n",
328 pmap, va, pcf);
332 if(va & psmask) { /* Make sure we are page aligned on virtual */
333 panic("mapping_make: attempt to map unaligned vaddr - pmap = %p, va = %016llX, cfg = %d\n",
334 pmap, va, pcf);
394 mp->mpVAddr = (va & ~mpHWFlags) | (wimg << 3) | getProtPPC(prot, disable_NX); /* Add the protection and attributes to the field */
418 panic("mapping_make: hw_add_map failed - collision addr = %016llX, code = %02X, pmap = %p, va = %016llX, mapping = %p\n",
419 colladdr, rc, pmap, va, mp); /* Die dead */
429 * mapping *mapping_find(pmap, va, *nextva, full) - Finds a mapping
431 * Looks up the vaddr and returns the mapping and the next mapped va
445 mapping_t *mapping_find(pmap_t pmap, addr64_t va, addr64_t *nextva, int full) { /* Make an address mapping */
454 curva = (addr64_t)va; /* Set current va */
472 panic("mapping_find: too many nested pmaps - va = %016llX, curva = %016llX, pmap = %p, curpmap = %p\n",
473 va, curva, pmap, curpmap);
476 curva = curva + mp->mpNestReloc; /* Relocate va to new pmap */
486 * void mapping_protect(pmap_t pmap, addt_t va, vm_prot_t prot, addr64_t *nextva) - change the protection of a virtual page
492 * We return success if we change the protection or if there is no page mapped at va. We return failure if
493 * the va corresponds to a block mapped area or the mapping is permanant.
499 mapping_protect(pmap_t pmap, addr64_t va, vm_prot_t prot, addr64_t *nextva) { /* Change protection of a virtual page */
507 ret = hw_protect(pmap, va, getProtPPC(prot, disable_NX), nextva); /* Try to change the protect here */
518 panic("mapping_protect: hw_protect failed - rc = %d, pmap = %p, va = %016llX\n", ret, pmap, va);
1032 addr64_t va, nextva;
1073 va = mapCtl.mapcflush.addr;
1089 mp = hw_purge_map(ckpmap, va, &nextva);
1099 panic("mapping_alloc: hw_purge_map failed - pmap = %p, va = %16llX, code = %p\n", ckpmap, va, mp);
1110 va = nextva;
1502 addr64_t va;
1514 va = mp->mpVAddr & -4096; /* If so, get the cleaned up vaddr */
1517 else va = 0; /* Return failure */
1521 return va; /* Bye, bye... */
1531 addr64_t kvtophys(vm_offset_t va) {
1533 return pmap_extract(kernel_pmap, va); /* Find mapping and lock the physical entry for this mapping */
1542 vm_map_offset_t kvtophys64(vm_map_offset_t va) {
1544 ppnum_t pa = pmap_find_phys(kernel_pmap, (addr64_t)va);
1548 return (((vm_map_offset_t)pa) << 12) | (va & 0xfff);