Lines Matching defs:va
954 ** va - virtual address within the client's address
968 ** if success, va resident and alternate mapping made
1263 panic("vmm_get_page_mapping: could not back-map guest va (%016llX)\n", gva);
1278 ** va - virtual address within the vmm's address
1288 addr64_t va)
1297 hw_susp_map_gv(act->map->pmap, pmap, va); /* Suspend the mapping */
1300 nadd = mapping_remove(pmap, va); /* Toss the mapping */
1432 ** va - virtual address within the vmm's address
1447 addr64_t va,
1457 RC = hw_test_rc_gv(act->map->pmap, pmap, va, reset);/* Fetch the RC bits and clear if requested */
1459 RC = hw_test_rc(pmap, (addr64_t)va, reset); /* Fetch the RC bits and clear if requested */
1473 panic("vmm_get_page_dirty_flag: hw_test_rc failed - rc = %d, pmap = %p, va = %016llX\n", RC, pmap, va);
1489 ** va - virtual address within the vmm's address
1502 addr64_t va,
1513 ret = hw_protect_gv(pmap, va, prot); /* Try to change protection, GSA varient */
1515 ret = hw_protect(pmap, va, prot, &nextva); /* Try to change protection */
1528 panic("vmm_protect_page: hw_protect failed - rc = %d, pmap = %p, va = %016llX\n", ret, pmap, (addr64_t)va);
1533 act->machine.vmmControl->vmmLastMap = va & 0xFFFFFFFFFFFFF000ULL; /* Remember the last mapping we made */
1561 addr64_t va,
1579 ret = vmm_protect_page(act, adsp, va, prot); /* Go try to change access */
1582 act->machine.vmmControl->vmmLastMap = va & 0xFFFFFFFFFFFFF000ULL; /* Remember the last mapping we made */