Home
last modified time | relevance | path

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

/hypervisor/arch/x86/guest/
A Dnested.c479 static uint64_t vmcs12_read_field(void *vmcs_hva, uint32_t field) in vmcs12_read_field() function
902 vmcs_value = vmcs12_read_field(&cur_vvmcs->vmcs12, vmcs_field); in vmread_vmexit_handler()
1041 val64 = vmcs12_read_field(vmcs12, vmcs_shadowing_fields[idx]); in sync_vmcs12_to_vmcs02()

Completed in 4 milliseconds