LHCALL_SET_PTE 482 arch/x86/lguest/boot.c lazy_hcall(LHCALL_SET_PTE, __pa(mm->pgd), addr, pteval.pte_low); LHCALL_SET_PTE 524 arch/x86/lguest/boot.c lazy_hcall(LHCALL_SET_PTE, current_cr3, addr, 0);