Searched refs:gpte_addr (Results 1 - 1 of 1) sorted by relevance
| /linux-4.1.27/drivers/lguest/ |
| H A D | page_tables.c | 152 static unsigned long gpte_addr(struct lg_cpu *cpu, gpte_addr() function
162 static unsigned long gpte_addr(struct lg_cpu *cpu, gpte_addr() function
448 gpte_ptr = gpte_addr(cpu, gpmd, vaddr); demand_page()
454 gpte_ptr = gpte_addr(cpu, gpgd, vaddr); demand_page()
700 gpte = lgread(cpu, gpte_addr(cpu, gpmd, vaddr), pte_t); __guest_pa()
702 gpte = lgread(cpu, gpte_addr(cpu, gpgd, vaddr), pte_t); __guest_pa()
|
Completed in 69 milliseconds