Searched refs:lazy_hcall4 (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/arch/x86/lguest/
H A Dboot.c185 static void lazy_hcall4(unsigned long call, lazy_hcall4() function
676 lazy_hcall4(LHCALL_SET_PTE, __pa(mm->pgd), addr, lguest_pte_update()

Completed in 109 milliseconds