Lines Matching refs:gva
1025 uint64_t gpa, gva, val; in gdb_read_mem() local
1043 gva = parse_integer(data, cp - data); in gdb_read_mem()
1052 error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa); in gdb_read_mem()
1087 gva++; in gdb_read_mem()
1112 gva += bytes; in gdb_read_mem()
1139 uint64_t gpa, gva, val; in gdb_write_mem() local
1156 gva = parse_integer(data, cp - data); in gdb_write_mem()
1177 error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa); in gdb_write_mem()
1205 gva++; in gdb_write_mem()
1230 gva += bytes; in gdb_write_mem()
1287 update_sw_breakpoint(uint64_t gva, int kind, bool insert) in update_sw_breakpoint() argument
1299 error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa); in update_sw_breakpoint()
1354 uint64_t gva; in parse_breakpoint() local
1381 gva = parse_integer(data, cp - data); in parse_breakpoint()
1407 update_sw_breakpoint(gva, kind, insert); in parse_breakpoint()