Lines Matching defs:page_hpa
442 static int is_empty_shadow_page(hpa_t page_hpa)
447 for (pos = __va(page_hpa), end = pos + PAGE_SIZE / sizeof(u64);
458 static void kvm_mmu_free_page(struct kvm_vcpu *vcpu, hpa_t page_hpa)
460 struct kvm_mmu_page *page_head = page_header(page_hpa);
462 ASSERT(is_empty_shadow_page(page_hpa));
463 page_head->page_hpa = page_hpa;
483 ASSERT(is_empty_shadow_page(page->page_hpa));
641 pt = __va(page->page_hpa);
693 kvm_mmu_free_page(vcpu, page->page_hpa);
808 table[index] = new_table->page_hpa | PT_PRESENT_MASK
860 root = page->page_hpa;
881 root = page->page_hpa;
1205 spte = __va(page->page_hpa);
1250 __free_page(pfn_to_page(page->page_hpa >> PAGE_SHIFT));
1251 page->page_hpa = INVALID_PAGE;
1270 page_header->page_hpa = (hpa_t)page_to_pfn(page) << PAGE_SHIFT;
1271 memset(__va(page_header->page_hpa), 0, PAGE_SIZE);
1334 pt = __va(page->page_hpa);
1485 u64 *pt = __va(page->page_hpa);