Lines Matching refs:gva
1000 addr64_t gva;
1039 gva = ((ava & ~mpHWFlags) | (wimg << 3) | getProtPPC(prot, TRUE));
1041 hw_add_map_gv(map->pmap, pmap, gva, mflags, mp->mpPAddr);
1221 ** gva - guest virtual address
1237 addr64_t gva)
1248 return (hw_gva_to_hva(pmap, gva)); /* Convert guest to host virtual address */
1250 mp = mapping_find(pmap, gva, &nextva, 0); /* Find guest mapping for this virtual address */
1263 panic("vmm_get_page_mapping: could not back-map guest va (%016llX)\n", gva);
1333 addr64_t gva;
1359 gva = lstx[i].vmlava; /* Get the 64-bit guest address */
1362 gva = lst[i].vmlava; /* Get the 32-bit guest address */
1365 adsp = (gva & vmmlAdID) >> 4; /* Extract an explicit address space request */
1372 gva &= 0xFFFFFFFFFFFFF000ULL; /* Clean up the address */
1374 hw_susp_map_gv(act->map->pmap, pmap, gva);
1377 (void)mapping_remove(pmap, gva); /* Toss the mapping */