Searched refs:gpgdir (Results 1 – 2 of 2) sorted by relevance
| /drivers/lguest/ |
| D | lg.h | 18 unsigned long gpgdir; member
191 void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 i);
193 void guest_set_pmd(struct lguest *lg, unsigned long gpgdir, u32 i);
197 void guest_set_pte(struct lg_cpu *cpu, unsigned long gpgdir,
|
| D | page_tables.c | 139 return cpu->lg->pgdirs[cpu->cpu_pgd].gpgdir + index * sizeof(pgd_t); in gpgd_addr()
693 if (lg->pgdirs[i].pgdir && lg->pgdirs[i].gpgdir == pgtable) in find_pgdir()
704 unsigned long gpgdir, in new_pgdir() argument
730 cpu->lg->pgdirs[next].gpgdir = gpgdir; in new_pgdir()
945 unsigned long gpgdir, unsigned long vaddr, pte_t gpte) in guest_set_pte() argument
964 int pgdir = find_pgdir(cpu->lg, gpgdir); in guest_set_pte()
985 void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 idx) in guest_set_pgd() argument
996 pgdir = find_pgdir(lg, gpgdir); in guest_set_pgd()
|