/** @file
  MSR Definitions.

  Provides defines for Machine Specific Registers(MSR) indexes. Data structures
  are provided for MSRs that contain one or more bit fields.  If the MSR value
  returned is a single 32-bit or 64-bit value, then a data structure is not
  provided for that MSR.

  Copyright (c) 2024, Advanced Micro Devices. All rights reserved.<BR>
  SPDX-License-Identifier: BSD-2-Clause-Patent

**/

#ifndef SVSM_MSR_H_
#define SVSM_MSR_H_

/**
  Secure VM Service Module CAA register

**/
#define MSR_SVSM_CAA  0xc001f000

/**
  MSR information returned for #MSR_SVSM_CAA
**/
typedef union {
  struct {
    UINT32    Lower32Bits;
    UINT32    Upper32Bits;
  } Bits;

  UINT64    Uint64;
} MSR_SVSM_CAA_REGISTER;

#endif