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
448 gpte_ptr = gpte_addr(cpu, gpmd, vaddr); in demand_page()
454 gpte_ptr = gpte_addr(cpu, gpgd, vaddr); in demand_page()
700 gpte = lgread(cpu, gpte_addr(cpu, gpmd, vaddr), pte_t); in __guest_pa()
702 gpte = lgread(cpu, gpte_addr(cpu, gpgd, vaddr), pte_t); in __guest_pa()
|