Searched refs:vmcs_shadowing_fields (Results 1 – 1 of 1) sorted by relevance
258 static const uint32_t vmcs_shadowing_fields[MAX_SHADOW_VMCS_FIELDS] = { variable399 bit_pos = vmcs_shadowing_fields[field_index] % 64U; in setup_vmcs_shadowing_bitmap()400 array_index = vmcs_shadowing_fields[field_index] / 64U; in setup_vmcs_shadowing_bitmap()991 val64 = exec_vmread(vmcs_shadowing_fields[idx]); in sync_vmcs02_to_vmcs12()992 vmcs12_write_field(vmcs12, vmcs_shadowing_fields[idx], val64); in sync_vmcs02_to_vmcs12()1041 val64 = vmcs12_read_field(vmcs12, vmcs_shadowing_fields[idx]); in sync_vmcs12_to_vmcs02()1042 exec_vmwrite(vmcs_shadowing_fields[idx], val64); in sync_vmcs12_to_vmcs02()
Completed in 5 milliseconds