Searched refs:lazy_hcall4 (Results 1 - 1 of 1) sorted by relevance
/linux-4.4.14/arch/x86/lguest/ | ||
H A D | boot.c | 185 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 39 milliseconds