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

/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dsetup.c69 if ( (rc = HYPERVISOR_update_va_mapping(
H A Dgdt_32.c124 if (HYPERVISOR_update_va_mapping((unsigned long)&gdt, pte, UVMF_INVLPG))
H A Dtraps.c153 rc = HYPERVISOR_update_va_mapping(addr & PAGE_MASK, __pte(virt_to_mach(new_page) | L1_PROT), UVMF_INVLPG);
H A Dmm.c805 if ( (rc = HYPERVISOR_update_va_mapping(0, nullpte, UVMF_INVLPG)) )
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/x86_32/
H A Dhypercall-x86_32.h220 HYPERVISOR_update_va_mapping( function
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/x86_64/
H A Dhypercall-x86_64.h222 HYPERVISOR_update_va_mapping( function

Completed in 41 milliseconds