Home
last modified time | relevance | path

Searched refs:gpte_addr (Results 1 – 1 of 1) sorted by relevance

/drivers/lguest/
Dpage_tables.c152 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()