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