Searched refs:vmcs12_read_field (Results 1 – 1 of 1) sorted by relevance
479 static uint64_t vmcs12_read_field(void *vmcs_hva, uint32_t field) in vmcs12_read_field() function902 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