Home
last modified time | relevance | path

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

/hypervisor/include/arch/x86/asm/guest/
A Dvept.h42 uint64_t get_shadow_eptp(uint64_t guest_eptp);
/hypervisor/arch/x86/guest/
A Dvept.c137 uint64_t get_shadow_eptp(uint64_t guest_eptp) in get_shadow_eptp() function
A Dnested.c1007 exec_vmwrite(VMX_EPT_POINTER_FULL, get_shadow_eptp(vmcs12->ept_pointer)); in merge_and_sync_control_fields()

Completed in 8 milliseconds