Searched refs:spte (Results 1 – 1 of 1) sorted by relevance
| /drivers/lguest/ |
| D | page_tables.c | 382 pte_t *spte; in demand_page() local
475 spte = find_spte(cpu, vaddr, true, pgd_flags(gpgd), pmd_flags(gpmd)); in demand_page()
476 if (!spte) in demand_page()
483 release_pte(*spte); in demand_page()
490 *spte = gpte_to_spte(cpu, gpte, 1); in demand_page()
498 set_pte(spte, gpte_to_spte(cpu, pte_wrprotect(gpte), 0)); in demand_page()
529 pte_t *spte; in page_writable() local
537 spte = find_spte(cpu, vaddr, false, 0, 0); in page_writable()
538 if (!spte) in page_writable()
545 flags = pte_flags(*spte); in page_writable()
[all …]
|