Searched refs:itdba_gpa (Results 1 – 1 of 1) sorted by relevance
44 gpa_t itdba_gpa; /* 0x0238 */ member687 unpin_guest_page(vcpu->kvm, vsie_page->itdba_gpa, hpa); in unpin_blocks()688 vsie_page->itdba_gpa = 0; in unpin_blocks()771 vsie_page->itdba_gpa = gpa; in pin_blocks()