Lines Matching refs:gva
1201 uint64_t gpa, gva, val;
1219 gva = parse_integer(data, cp - data);
1228 error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);
1263 gva++;
1288 gva += bytes;
1315 uint64_t gpa, gva, val;
1332 gva = parse_integer(data, cp - data);
1353 error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);
1381 gva++;
1406 gva += bytes;
1477 update_sw_breakpoint(uint64_t gva, int kind, bool insert)
1489 error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);
1545 uint64_t gva;
1572 gva = parse_integer(data, cp - data);
1598 update_sw_breakpoint(gva, kind, insert);