Searched refs:lgread (Results 1 – 3 of 3) sorted by relevance
| /linux-4.1.27/drivers/lguest/ |
| D | page_tables.c | 413 gpgd = lgread(cpu, gpgd_addr(cpu, vaddr), pgd_t); in demand_page()
431 gpmd = lgread(cpu, gpmd_addr(gpgd, vaddr), pmd_t); in demand_page()
462 gpte = lgread(cpu, gpte_ptr, pte_t); in demand_page()
691 gpgd = lgread(cpu, gpgd_addr(cpu, vaddr), pgd_t); in __guest_pa()
697 gpmd = lgread(cpu, gpmd_addr(gpgd, vaddr), pmd_t); in __guest_pa()
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()
|
| D | lg.h | 130 #define lgread(cpu, addr, type) \ macro
|
| D | interrupts_and_traps.c | 185 cpu->regs->eflags = lgread(cpu, stack_pa + 8, u32); in restore_eflags()
|