Searched refs:riccbd_gpa (Results 1 – 1 of 1) sorted by relevance
46 gpa_t riccbd_gpa; /* 0x0248 */ member707 unpin_guest_page(vcpu->kvm, vsie_page->riccbd_gpa, hpa); in unpin_blocks()708 vsie_page->riccbd_gpa = 0; in unpin_blocks()813 vsie_page->riccbd_gpa = gpa; in pin_blocks()