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

/linux-4.1.27/arch/x86/lguest/
H A Dboot.c154 static void lazy_hcall1(unsigned long call, unsigned long arg1) lazy_hcall1() function
514 lazy_hcall1(LHCALL_TS, val & X86_CR0_TS); lguest_write_cr0()
530 lazy_hcall1(LHCALL_TS, 0); lguest_clts()
554 lazy_hcall1(LHCALL_NEW_PGTABLE, cr3); lguest_write_cr3()
740 lazy_hcall1(LHCALL_FLUSH_TLB, 1); lguest_set_pte()
753 lazy_hcall1(LHCALL_FLUSH_TLB, 1); lguest_set_pte_atomic()
794 lazy_hcall1(LHCALL_FLUSH_TLB, 0); lguest_flush_tlb_user()
804 lazy_hcall1(LHCALL_FLUSH_TLB, 1); lguest_flush_tlb_kernel()

Completed in 77 milliseconds