Searched refs:lazy_hcall4 (Results 1 - 1 of 1) sorted by relevance
| /linux-4.1.27/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 40 milliseconds