Searched refs:gpgdir (Results 1 – 2 of 2) sorted by relevance
| /linux-4.1.27/drivers/lguest/ |
| D | lg.h | 18 unsigned long gpgdir; member
186 void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 i);
188 void guest_set_pmd(struct lguest *lg, unsigned long gpgdir, u32 i);
192 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()
737 if (lg->pgdirs[i].pgdir && lg->pgdirs[i].gpgdir == pgtable) in find_pgdir()
748 unsigned long gpgdir, in new_pgdir() argument
774 cpu->lg->pgdirs[next].gpgdir = gpgdir; in new_pgdir()
990 unsigned long gpgdir, unsigned long vaddr, pte_t gpte) in guest_set_pte() argument
1009 int pgdir = find_pgdir(cpu->lg, gpgdir); in guest_set_pte()
1030 void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 idx) in guest_set_pgd() argument
1041 pgdir = find_pgdir(lg, gpgdir); in guest_set_pgd()
|