Searched defs:spgd (Results 1 – 1 of 1) sorted by relevance
88 static pte_t *spte_addr(pgd_t spgd, unsigned long vaddr) in spte_addr()205 pgd_t *spgd; in demand_page() local301 pgd_t *spgd; in page_writable() local326 static void release_pgd(struct lguest *lg, pgd_t *spgd) in release_pgd()504 pgd_t *spgd = spgd_addr(cpu, idx, vaddr); in do_set_pte() local