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