Lines Matching refs:guest_last_page
883 vm_vaddr_t guest_0_page, guest_last_page;
886 guest_last_page = vm_vaddr_alloc(t.kvm_vm, PAGE_SIZE, last_page_addr);
887 if (guest_0_page != 0 || guest_last_page != last_page_addr) {
909 MOP(t.vcpu, LOGICAL, WRITE, mem1, 2 * PAGE_SIZE, GADDR_V(guest_last_page));
912 GADDR_V(guest_last_page), KEY(2));
922 vm_vaddr_t guest_0_page, guest_last_page;
925 guest_last_page = vm_vaddr_alloc(t.kvm_vm, PAGE_SIZE, last_page_addr);
926 if (guest_0_page != 0 || guest_last_page != last_page_addr) {
943 vm_vaddr_t guest_0_page, guest_last_page;
946 guest_last_page = vm_vaddr_alloc(t.kvm_vm, PAGE_SIZE, last_page_addr);
947 if (guest_0_page != 0 || guest_last_page != last_page_addr) {
962 GADDR_V(guest_last_page), KEY(2));