Searched refs:pgfault_hpte (Results 1 – 3 of 3) sorted by relevance
853 vcpu->arch.pgfault_hpte[0] = v; in kvmppc_hpte_hv_fault()854 vcpu->arch.pgfault_hpte[1] = r; in kvmppc_hpte_hv_fault()
474 if (hpte[0] != vcpu->arch.pgfault_hpte[0] || in kvmppc_book3s_hv_page_fault()475 hpte[1] != vcpu->arch.pgfault_hpte[1]) in kvmppc_book3s_hv_page_fault()
645 unsigned long pgfault_hpte[2]; member