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);