Searched refs:spmd_addr (Results 1 – 1 of 1) sorted by relevance
| /linux-2.6.39/drivers/lguest/ |
| D | page_tables.c | 116 static pmd_t *spmd_addr(struct lg_cpu *cpu, pgd_t spgd, unsigned long vaddr) in spmd_addr() function
144 pmd_t *pmd = spmd_addr(cpu, spgd, vaddr); in spte_addr()
362 spmd = spmd_addr(cpu, *spgd, vaddr); in demand_page()
493 spmd = spmd_addr(cpu, *spgd, vaddr); in page_writable()
822 spmd = spmd_addr(cpu, *spgd, vaddr); in do_set_pte()
|