Lines Matching defs:gva
1243 uint64_t gpa, gva, val;
1261 gva = parse_integer(data, cp - data);
1270 error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);
1305 gva++;
1330 gva += bytes;
1357 uint64_t gpa, gva, val;
1374 gva = parse_integer(data, cp - data);
1395 error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);
1423 gva++;
1448 gva += bytes;
1519 update_sw_breakpoint(uint64_t gva, int kind, bool insert)
1531 error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);
1587 uint64_t gva;
1614 gva = parse_integer(data, cp - data);
1640 update_sw_breakpoint(gva, kind, insert);