Searched refs:gpte_addr (Results 1 – 1 of 1) sorted by relevance
| /drivers/lguest/ |
| D | page_tables.c | 152 static unsigned long gpte_addr(struct lg_cpu *cpu, in gpte_addr() function
162 static unsigned long gpte_addr(struct lg_cpu *cpu, in gpte_addr() function
430 gpte_ptr = gpte_addr(cpu, gpmd, vaddr); in demand_page()
436 gpte_ptr = gpte_addr(cpu, gpgd, vaddr); in demand_page()
674 gpte = lgread(cpu, gpte_addr(cpu, gpmd, vaddr), pte_t); in guest_pa()
676 gpte = lgread(cpu, gpte_addr(cpu, gpgd, vaddr), pte_t); in guest_pa()
|