Searched defs:spte (Results 1 – 1 of 1) sorted by relevance
318 pte_t *spte; in demand_page() local858 pte_t *spte = spte_addr(cpu, *spgd, vaddr); in do_set_pte() local