Searched refs:vmcs12_write_field (Results 1 – 1 of 1) sorted by relevance
510 static void vmcs12_write_field(void *vmcs_hva, uint32_t field, uint64_t val64) in vmcs12_write_field() function970 vmcs12_write_field(&cur_vvmcs->vmcs12, vmcs_field, vmcs_value); in vmwrite_vmexit_handler()992 vmcs12_write_field(vmcs12, vmcs_shadowing_fields[idx], val64); in sync_vmcs02_to_vmcs12()
Completed in 11 milliseconds