Home
last modified time | relevance | path

Searched refs:LHCALL_SET_PTE (Results 1 – 3 of 3) sorted by relevance

/linux-3.4.99/arch/x86/include/asm/
Dlguest_hcall.h16 #define LHCALL_SET_PTE 14 macro
/linux-3.4.99/arch/x86/lguest/
Dboot.c672 lazy_hcall4(LHCALL_SET_PTE, __pa(mm->pgd), addr, in lguest_pte_update()
675 lazy_hcall3(LHCALL_SET_PTE, __pa(mm->pgd), addr, ptep->pte_low); in lguest_pte_update()
780 lazy_hcall3(LHCALL_SET_PTE, current_cr3, addr, 0); in lguest_flush_tlb_single()
/linux-3.4.99/drivers/lguest/
Dhypercalls.c93 case LHCALL_SET_PTE: in do_hcall()