Searched refs:lazy_hcall3 (Results 1 - 1 of 1) sorted by relevance
| /linux-4.1.27/arch/x86/lguest/ |
| H A D | boot.c | 173 static void lazy_hcall3(unsigned long call, lazy_hcall3() function
679 lazy_hcall3(LHCALL_SET_PTE, __pa(mm->pgd), addr, ptep->pte_low); lguest_pte_update()
784 lazy_hcall3(LHCALL_SET_PTE, current_cr3, addr, 0); lguest_flush_tlb_single()
1077 lazy_hcall3(LHCALL_SET_STACK, __KERNEL_DS | 0x1, thread->sp0, lguest_load_sp0()
|
Completed in 49 milliseconds