Lines Matching refs:spte
398 pte_t *spte; in demand_page() local
499 spte = find_spte(cpu, vaddr, true, pgd_flags(gpgd), pmd_flags(gpmd)); in demand_page()
500 if (!spte) in demand_page()
507 release_pte(*spte); in demand_page()
514 *spte = gpte_to_spte(cpu, gpte, 1); in demand_page()
522 set_pte(spte, gpte_to_spte(cpu, pte_wrprotect(gpte), 0)); in demand_page()
553 pte_t *spte; in page_writable() local
561 spte = find_spte(cpu, vaddr, false, 0, 0); in page_writable()
562 if (!spte) in page_writable()
569 flags = pte_flags(*spte); in page_writable()
948 pte_t *spte = spte_addr(cpu, *spgd, vaddr); in __guest_set_pte() local
949 release_pte(*spte); in __guest_set_pte()
961 set_pte(spte, in __guest_set_pte()
969 set_pte(spte, __pte(0)); in __guest_set_pte()