Searched refs:field_width (Results 1 – 1 of 1) sorted by relevance
456 uint8_t field_width = VMX_VMCS_FIELD_WIDTH(vmcs_field); in vmcs_field_to_vmcs12_offset() local459 if (field_width == VMX_VMCS_FIELD_WIDTH_16) { in vmcs_field_to_vmcs12_offset()461 } else if (field_width == VMX_VMCS_FIELD_WIDTH_32) { in vmcs_field_to_vmcs12_offset()
Completed in 5 milliseconds