Searched refs:VMX_VMCS_FIELD_WIDTH (Results 1 – 2 of 2) sorted by relevance
455 uint16_t group_idx = (VMX_VMCS_FIELD_WIDTH(vmcs_field) << 2U) | VMX_VMCS_FIELD_TYPE(vmcs_field); in vmcs_field_to_vmcs12_offset()456 uint8_t field_width = VMX_VMCS_FIELD_WIDTH(vmcs_field); in vmcs_field_to_vmcs12_offset()484 switch (VMX_VMCS_FIELD_WIDTH(field)) { in vmcs12_read_field()514 switch (VMX_VMCS_FIELD_WIDTH(field)) { in vmcs12_write_field()824 const uint8_t w = VMX_VMCS_FIELD_WIDTH(field); in is_ro_vmcs_field()
57 #define VMX_VMCS_FIELD_WIDTH(v) (((v) >> 13U) & 0x3U) macro
Completed in 8 milliseconds