]> git.proxmox.com Git - mirror_edk2.git/blobdiff - MdePkg/Include/IndustryStandard/Pal.h
Update the copyright notice format
[mirror_edk2.git] / MdePkg / Include / IndustryStandard / Pal.h
index fdeea7fe315dbef90cf786ee1f5d47cd67142c8f..27874553bbd054de972bc5a2ad8891a48624a31c 100644 (file)
@@ -1,8 +1,8 @@
 /** @file\r
   Main PAL API's defined in Intel Itanium Architecture Software Developer's Manual.\r
 \r
-  Copyright (c) 2006 - 2008, Intel Corporation                                                         \r
-  All rights reserved. This program and the accompanying materials                          \r
+  Copyright (c) 2006 - 2008, Intel Corporation. All rights reserved.<BR>\r
+  This program and the accompanying materials                          \r
   are licensed and made available under the terms and conditions of the BSD License         \r
   which accompanies this distribution.  The full text of the license may be found at        \r
   http://opensource.org/licenses/bsd-license.php                                            \r
 \r
 #define PAL_SUCCESS             0x0\r
 \r
-//\r
-// CacheType of PAL_CACHE_FLUSH.\r
-//\r
+///\r
+/// CacheType of PAL_CACHE_FLUSH.\r
+///\r
 #define PAL_CACHE_FLUSH_INSTRUCTION_ALL   1\r
 #define PAL_CACHE_FLUSH_DATA_ALL          2\r
 #define PAL_CACHE_FLUSH_ALL               3\r
 #define PAL_CACHE_FLUSH_SYNC_TO_DATA      4\r
 \r
 \r
-//\r
-// Bitmask of Opearation of PAL_CACHE_FLUSH.\r
-//\r
+///\r
+/// Bitmask of Opearation of PAL_CACHE_FLUSH.\r
+///\r
 #define PAL_CACHE_FLUSH_INVALIDATE_LINES     BIT0\r
 #define PAL_CACHE_FLUSH_NO_INVALIDATE_LINES  0\r
 #define PAL_CACHE_FLUSH_POLL_INTERRUPT       BIT1\r
@@ -37,7 +37,7 @@
 /**\r
   PAL Procedure - PAL_CACHE_FLUSH.\r
 \r
-  Flush the instruction or data caches. It is required by IPF.\r
+  Flush the instruction or data caches. It is required by Itanium processors.\r
   The PAL procedure supports the Static Registers calling\r
   convention. It could be called at virtual mode and physical\r
   mode.\r
 #define PAL_CACHE_FLUSH   1\r
 \r
 \r
-//\r
-// Attributes of PAL_CACHE_CONFIG_INFO1\r
-//\r
+///\r
+/// Attributes of PAL_CACHE_CONFIG_INFO1\r
+///\r
 #define PAL_CACHE_ATTR_WT   0\r
 #define PAL_CACHE_ATTR_WB   1\r
 \r
-//\r
-// PAL_CACHE_CONFIG_INFO1.StoreHint\r
-//\r
+///\r
+/// PAL_CACHE_CONFIG_INFO1.StoreHint\r
+///\r
 #define PAL_CACHE_STORE_TEMPORAL      0\r
 #define PAL_CACHE_STORE_NONE_TEMPORAL 3\r
 \r
-//\r
-// PAL_CACHE_CONFIG_INFO1.StoreHint\r
-//\r
+///\r
+/// PAL_CACHE_CONFIG_INFO1.StoreHint\r
+///\r
 #define PAL_CACHE_STORE_TEMPORAL_LVL_1        0\r
 #define PAL_CACHE_STORE_NONE_TEMPORAL_LVL_ALL 3\r
 \r
-//\r
-// PAL_CACHE_CONFIG_INFO1.StoreHint\r
-//\r
+///\r
+/// PAL_CACHE_CONFIG_INFO1.StoreHint\r
+///\r
 #define PAL_CACHE_LOAD_TEMPORAL_LVL_1         0\r
 #define PAL_CACHE_LOAD_NONE_TEMPORAL_LVL_1    1\r
 #define PAL_CACHE_LOAD_NONE_TEMPORAL_LVL_ALL  3\r
 \r
-//\r
-// Detail the characteristics of a given processor controlled\r
-// cache in the cache hierarchy.\r
-//\r
+///\r
+/// Detail the characteristics of a given processor controlled\r
+/// cache in the cache hierarchy.\r
+///\r
 typedef struct {\r
   UINT64  IsUnified   : 1;\r
   UINT64  Attributes  : 2;\r
@@ -112,10 +112,10 @@ typedef struct {
   UINT64  LoadHint:8;\r
 } PAL_CACHE_INFO_RETURN1;\r
 \r
-//\r
-// Detail the characteristics of a given processor controlled\r
-// cache in the cache hierarchy.\r
-//\r
+///\r
+/// Detail the characteristics of a given processor controlled\r
+/// cache in the cache hierarchy.\r
+///\r
 typedef struct {\r
   UINT64  CacheSize:32;\r
   UINT64  AliasBoundary:8;\r
@@ -127,7 +127,7 @@ typedef struct {
   PAL Procedure - PAL_CACHE_INFO.\r
 \r
   Return detailed instruction or data cache information. It is\r
-  required by IPF. The PAL procedure supports the Static\r
+  required by Itanium processors. The PAL procedure supports the Static\r
   Registers calling convention. It could be called at virtual\r
   mode and physical mode.\r
 \r
@@ -162,21 +162,21 @@ typedef struct {
 \r
 \r
 \r
-//\r
-// Level of PAL_CACHE_INIT.\r
-//\r
+///\r
+/// Level of PAL_CACHE_INIT.\r
+///\r
 #define PAL_CACHE_INIT_ALL  0xffffffffffffffffULL\r
 \r
-//\r
-// CacheType\r
-//\r
+///\r
+/// CacheType\r
+///\r
 #define PAL_CACHE_INIT_TYPE_INSTRUCTION                 0x1\r
 #define PAL_CACHE_INIT_TYPE_DATA                        0x2\r
 #define PAL_CACHE_INIT_TYPE_INSTRUCTION_AND_DATA        0x3\r
 \r
-//\r
-// Restrict of PAL_CACHE_INIT.\r
-//\r
+///\r
+/// Restrict of PAL_CACHE_INIT.\r
+///\r
 #define PAL_CACHE_INIT_NO_RESTRICT  0\r
 #define PAL_CACHE_INIT_RESTRICTED   1\r
 \r
@@ -184,7 +184,7 @@ typedef struct {
   PAL Procedure - PAL_CACHE_INIT.\r
 \r
   Initialize the instruction or data caches. It is required by\r
-  IPF. The PAL procedure supports the Static Registers calling\r
+  Itanium processors. The PAL procedure supports the Static Registers calling\r
   convention. It could be called at physical mode.\r
 \r
   @param Index      Index of PAL_CACHE_INIT within the list of PAL\r
@@ -218,9 +218,9 @@ typedef struct {
 #define PAL_CACHE_INIT    3\r
 \r
 \r
-//\r
-// PAL_CACHE_PROTECTION.Method.\r
-//\r
+///\r
+/// PAL_CACHE_PROTECTION.Method.\r
+///\r
 #define PAL_CACHE_PROTECTION_NONE_PROTECT   0\r
 #define PAL_CACHE_PROTECTION_ODD_PROTECT    1\r
 #define PAL_CACHE_PROTECTION_EVEN_PROTECT   2\r
@@ -228,17 +228,17 @@ typedef struct {
 \r
 \r
 \r
-//\r
-// PAL_CACHE_PROTECTION.TagOrData.\r
-//\r
+///\r
+/// PAL_CACHE_PROTECTION.TagOrData.\r
+///\r
 #define PAL_CACHE_PROTECTION_PROTECT_DATA   0\r
 #define PAL_CACHE_PROTECTION_PROTECT_TAG    1\r
 #define PAL_CACHE_PROTECTION_PROTECT_TAG_ANDTHEN_DATA   2\r
 #define PAL_CACHE_PROTECTION_PROTECT_DATA_ANDTHEN_TAG   3\r
 \r
-//\r
-// 32-bit protection information structures.\r
-//\r
+///\r
+/// 32-bit protection information structures.\r
+///\r
 typedef struct {\r
   UINT32  DataBits:8;\r
   UINT32  TagProtLsb:6;\r
@@ -252,7 +252,7 @@ typedef struct {
   PAL Procedure - PAL_CACHE_PROT_INFO.\r
 \r
   Return instruction or data cache protection information. It is\r
-  required by IPF. The PAL procedure supports the Static\r
+  required by Itanium processors. The PAL procedure supports the Static\r
   Registers calling convention. It could be called at physical\r
   mode and Virtual mode.\r
 \r
@@ -286,38 +286,26 @@ typedef struct {
 **/\r
 #define PAL_CACHE_PROT_INFO     38\r
 \r
-/**\r
-\r
-  @param  ThreadId  The thread identifier of the logical\r
-                    processor for which information is being\r
-                    returned. This value will be unique on a per\r
-                    core basis.\r
-\r
-  @param  CoreId    The core identifier of the logical processor\r
-                    for which information is being returned.\r
-                    This value will be unique on a per physical\r
-                    processor package basis.\r
-\r
-**/\r
 typedef struct {\r
-  UINT64  ThreadId : 16;\r
+  UINT64  ThreadId : 16;    ///< The thread identifier of the logical\r
+                            ///< processor for which information is being\r
+                            ///< returned. This value will be unique on a per core basis.\r
   UINT64  Reserved1: 16;\r
-  UINT64  CoreId: 16;\r
+  UINT64  CoreId: 16;       ///< The core identifier of the logical processor\r
+                            ///< for which information is being returned.\r
+                            ///< This value will be unique on a per physical\r
+                            ///< processor package basis.\r
   UINT64  Reserved2: 16;\r
 } PAL_PCOC_N_CACHE_INFO1;\r
 \r
-/**\r
-\r
-  @param LogicalAddress   Logical address: geographical address\r
-                          of the logical processor for which\r
-                          information is being returned. This is\r
-                          the same value that is returned by the\r
-                          PAL_FIXED_ADDR procedure when it is\r
-                          called on the logical processor.\r
 \r
-**/\r
 typedef struct {\r
-  UINT64  LogicalAddress : 16;\r
+  UINT64  LogicalAddress : 16;  ///< Logical address: geographical address\r
+                                ///< of the logical processor for which\r
+                                ///< information is being returned. This is\r
+                                ///< the same value that is returned by the\r
+                                ///< PAL_FIXED_ADDR procedure when it is\r
+                                ///< called on the logical processor.\r
   UINT64  Reserved1: 16;\r
   UINT64  Reserved2: 32;\r
 } PAL_PCOC_N_CACHE_INFO2;\r
@@ -371,7 +359,7 @@ typedef struct {
   PAL Procedure - PAL_CACHE_SUMMARY.\r
 \r
   Return a summary of the cache hierarchy. It is required by\r
-  IPF. The PAL procedure supports the Static Registers calling\r
+  Itanium processors. The PAL procedure supports the Static Registers calling\r
   convention. It could be called at physical mode and Virtual\r
   mode.\r
 \r
@@ -416,7 +404,7 @@ typedef struct {
   PAL Procedure - PAL_MEM_ATTRIB.\r
 \r
   Return a list of supported memory attributes.. It is required\r
-  by IPF. The PAL procedure supports the Static Registers calling\r
+  by Itanium processors. The PAL procedure supports the Static Registers calling\r
   convention. It could be called at physical mode and Virtual\r
   mode.\r
 \r
@@ -440,7 +428,7 @@ typedef struct {
 \r
   Used in architected sequence to transition pages from a\r
   cacheable, speculative attribute to an uncacheable attribute.\r
-  It is required by IPF. The PAL procedure supports the Static\r
+  It is required by Itanium processors. The PAL procedure supports the Static\r
   Registers calling convention. It could be called at physical\r
   mode and Virtual mode.\r
 \r
@@ -464,7 +452,7 @@ typedef struct {
   PAL Procedure - PAL_PTCE_INFO.\r
 \r
   Return information needed for ptc.e instruction to purge\r
-  entire TC. It is required by IPF. The PAL procedure supports\r
+  entire TC. It is required by Itanium processors. The PAL procedure supports\r
   the Static Registers calling convention. It could be called at\r
   physical mode and Virtual mode.\r
 \r
@@ -492,52 +480,34 @@ typedef struct {
 **/\r
 #define PAL_PTCE_INFO     6\r
 \r
-\r
-\r
-/**\r
-\r
-  @param NumberSets   Unsigned 8-bit integer denoting the number\r
-                      of hash sets for the specified level\r
-                      (1=fully associative)\r
-\r
-  @param NumberWays   Unsigned 8-bit integer denoting the\r
-                      associativity of the specified level\r
-                      (1=direct).\r
-\r
-  @param NumberEntries  Unsigned 16-bit integer denoting the\r
-                        number of entries in the specified TC.\r
-\r
-\r
-  @param PageSizeIsOptimized  Flag denoting whether the\r
-                              specified level is optimized for\r
-                              the region's preferred page size\r
-                              (1=optimized) tc_pages indicates\r
-                              which page sizes are usable by\r
-                              this translation cache.\r
-\r
-  @param TcIsUnified  Flag denoting whether the specified TC is\r
-                      unified (1=unified).\r
-\r
-  @param EntriesReduction   Flag denoting whether installed\r
-                            translation registers will reduce\r
-                            the number of entries within the\r
-                            specified TC.\r
-\r
-**/\r
 typedef struct {\r
-  UINT64  NumberSets:8;\r
-  UINT64  NumberWays:8;\r
-  UINT64  NumberEntries:16;\r
-  UINT64  PageSizeIsOptimized:1;\r
-  UINT64  TcIsUnified:1;\r
-  UINT64  EntriesReduction:1;\r
+  UINT64  NumberSets:8;             ///< Unsigned 8-bit integer denoting the number\r
+                                    ///< of hash sets for the specified level\r
+                                    ///< (1=fully associative)\r
+  UINT64  NumberWays:8;             ///< Unsigned 8-bit integer denoting the\r
+                                    ///< associativity of the specified level\r
+                                    ///< (1=direct).\r
+  UINT64  NumberEntries:16;         ///< Unsigned 16-bit integer denoting the\r
+                                    ///< number of entries in the specified TC.\r
+  UINT64  PageSizeIsOptimized:1;    ///< Flag denoting whether the\r
+                                    ///< specified level is optimized for\r
+                                    ///< the region's preferred page size\r
+                                    ///< (1=optimized) tc_pages indicates\r
+                                    ///< which page sizes are usable by\r
+                                    ///< this translation cache.\r
+  UINT64  TcIsUnified:1;            ///< Flag denoting whether the specified TC is\r
+                                    ///< unified (1=unified).\r
+  UINT64  EntriesReduction:1;       ///< Flag denoting whether installed\r
+                                    ///< translation registers will reduce\r
+                                    ///< the number of entries within the\r
+                                    ///< specified TC.\r
 } PAL_TC_INFO;\r
 \r
 /**\r
   PAL Procedure - PAL_VM_INFO.\r
 \r
   Return detailed information about virtual memory features\r
-  supported in the processor. It is required by IPF. The PAL\r
+  supported in the processor. It is required by Itanium processors. The PAL\r
   procedure supports the Static Registers calling convention. It\r
   could be called at physical mode and Virtual mode.\r
 \r
@@ -572,7 +542,7 @@ typedef struct {
   PAL Procedure - PAL_VM_PAGE_SIZE.\r
 \r
   Return virtual memory TC and hardware walker page sizes\r
-  supported in the processor. It is required by IPF. The PAL\r
+  supported in the processor. It is required by Itanium processors. The PAL\r
   procedure supports the Static Registers calling convention. It\r
   could be called at physical mode and Virtual mode.\r
 \r
@@ -593,79 +563,49 @@ typedef struct {
 **/\r
 #define PAL_VM_PAGE_SIZE 34\r
 \r
-/**\r
-\r
-  @param WalkerPresent  1-bit flag indicating whether a hardware\r
-                        TLB walker is implemented (1 = walker\r
-                        present).\r
-\r
-  @param WidthOfPhysicalAddress   Unsigned 7-bit integer\r
-                                  denoting the number of bits of\r
-                                  physical address implemented.\r
-\r
-  @param WidthOfKey   Unsigned 8-bit integer denoting the number\r
-                      of bits mplemented in the PKR.key field.\r
-\r
-  @param MaxPkrIndex  Unsigned 8-bit integer denoting the\r
-                      maximum PKR index (number of PKRs-1).\r
-\r
-  @param HashTagId    Unsigned 8-bit integer which uniquely\r
-                      identifies the processor hash and tag\r
-                      algorithm.\r
-\r
-  @param MaxDtrIndex  Unsigned 8 bit integer denoting the\r
-                      maximum data translation register index\r
-                      (number of dtr entries - 1).\r
-\r
-  @param MaxItrIndex  Unsigned 8 bit integer denoting the\r
-                      maximum instruction translation register\r
-                      index (number of itr entries - 1).\r
-\r
-  @param NumberOfUniqueTc   Unsigned 8-bit integer denoting the\r
-                            number of unique TCs implemented.\r
-                            This is a maximum of\r
-                            2*num_tc_levels.\r
-\r
-  @param NumberOfTcLevels   Unsigned 8-bit integer denoting the\r
-                            number of TC levels.\r
-\r
-**/\r
 typedef struct {\r
-  UINT64  WalkerPresent:1;\r
-  UINT64  WidthOfPhysicalAddress: 7;\r
-  UINT64  WidthOfKey:8;\r
-  UINT64  MaxPkrIndex:8;\r
-  UINT64  HashTagId:8;\r
-  UINT64  MaxDtrIndex:8;\r
-  UINT64  MaxItrIndex:8;\r
-  UINT64  NumberOfUniqueTc:8;\r
-  UINT64  NumberOfTcLevels:8;\r
+  UINT64  WalkerPresent:1;              ///< 1-bit flag indicating whether a hardware\r
+                                        ///< TLB walker is implemented (1 = walker\r
+                                        ///< present).\r
+  UINT64  WidthOfPhysicalAddress: 7;    ///< Unsigned 7-bit integer\r
+                                        ///< denoting the number of bits of\r
+                                        ///< physical address implemented.\r
+  UINT64  WidthOfKey:8;                 ///< Unsigned 8-bit integer denoting the number\r
+                                        ///< of bits mplemented in the PKR.key field.\r
+  UINT64  MaxPkrIndex:8;                ///< Unsigned 8-bit integer denoting the\r
+                                        ///< maximum PKR index (number of PKRs-1).\r
+  UINT64  HashTagId:8;                  ///< Unsigned 8-bit integer which uniquely\r
+                                        ///< identifies the processor hash and tag\r
+                                        ///< algorithm.\r
+  UINT64  MaxDtrIndex:8;                ///< Unsigned 8 bit integer denoting the\r
+                                        ///< maximum data translation register index\r
+                                        ///< (number of dtr entries - 1).\r
+  UINT64  MaxItrIndex:8;                ///< Unsigned 8 bit integer denoting the\r
+                                        ///< maximum instruction translation register\r
+                                        ///< index (number of itr entries - 1).\r
+  UINT64  NumberOfUniqueTc:8;           ///< Unsigned 8-bit integer denoting the\r
+                                        ///< number of unique TCs implemented.\r
+                                        ///< This is a maximum of\r
+                                        ///< 2*num_tc_levels.\r
+  UINT64  NumberOfTcLevels:8;           ///< Unsigned 8-bit integer denoting the\r
+                                        ///< number of TC levels.\r
 } PAL_VM_INFO1;\r
 \r
-/**\r
-\r
-  @param WidthOfVirtualAddress  Unsigned 8-bit integer denoting\r
-                                is the total number of virtual\r
-                                address bits - 1.\r
-\r
-  @param WidthOfRid   Unsigned 8-bit integer denoting the number\r
-                      of bits implemented in the RR.rid field.\r
-\r
-  @param MaxPurgedTlbs  Unsigned 16 bit integer denoting the\r
-                        maximum number of concurrent outstanding\r
-                        TLB purges allowed by the processor. A\r
-                        value of 0 indicates one outstanding\r
-                        purge allowed. A value of 216-1\r
-                        indicates no limit on outstanding\r
-                        purges. All other values indicate the\r
-                        actual number of concurrent outstanding\r
-                        purges allowed.\r
-\r
-**/\r
 typedef struct {\r
-  UINT64  WidthOfVirtualAddress:8;\r
-  UINT64  WidthOfRid:8;\r
-  UINT64  MaxPurgedTlbs:16;\r
+  UINT64  WidthOfVirtualAddress:8;  ///< Unsigned 8-bit integer denoting\r
+                                    ///< is the total number of virtual\r
+                                    ///< address bits - 1.\r
+  UINT64  WidthOfRid:8;             ///< Unsigned 8-bit integer denoting the number\r
+                                    ///< of bits implemented in the RR.rid field.\r
+  UINT64  MaxPurgedTlbs:16;         ///< Unsigned 16 bit integer denoting the\r
+                                    ///< maximum number of concurrent outstanding\r
+                                    ///< TLB purges allowed by the processor. A\r
+                                    ///< value of 0 indicates one outstanding\r
+                                    ///< purge allowed. A value of 216-1\r
+                                    ///< indicates no limit on outstanding\r
+                                    ///< purges. All other values indicate the\r
+                                    ///< actual number of concurrent outstanding\r
+                                    ///< purges allowed.\r
   UINT64  Reserved:32;\r
 } PAL_VM_INFO2;\r
 \r
@@ -673,7 +613,7 @@ typedef struct {
   PAL Procedure - PAL_VM_SUMMARY.\r
 \r
   Return summary information about virtual memory features\r
-  supported in the processor. It is required by IPF. The PAL\r
+  supported in the processor. It is required by Itanium processors. The PAL\r
   procedure supports the Static Registers calling convention. It\r
   could be called at physical mode and Virtual mode.\r
 \r
@@ -706,7 +646,7 @@ typedef struct {
   PAL Procedure - PAL_VM_TR_READ.\r
 \r
   Read contents of a translation register. It is required by\r
-  IPF. The PAL procedure supports the Stacked Register calling\r
+  Itanium processors. The PAL procedure supports the Stacked Register calling\r
   convention. It could be called at physical mode.\r
 \r
   @param Index      Index of PAL_VM_TR_READ within the list\r
@@ -898,7 +838,7 @@ typedef struct {
   PAL Procedure - PAL_BUS_GET_FEATURES.\r
 \r
   Return configurable processor bus interface features and their\r
-  current settings. It is required by IPF. The PAL procedure\r
+  current settings. It is required by Itanium processors. The PAL procedure\r
   supports the Stacked Register calling convention. It could be\r
   called at physical mode.\r
 \r
@@ -922,7 +862,7 @@ typedef struct {
   PAL Procedure - PAL_BUS_SET_FEATURES.\r
 \r
   Enable or disable configurable features in processor bus\r
-  interface. It is required by IPF. It is required by IPF. The PAL procedure\r
+  interface. It is required by Itanium processors. The PAL procedure\r
   supports the Static Registers calling convention. It could be\r
   called at physical mode.\r
 \r
@@ -943,7 +883,7 @@ typedef struct {
   PAL Procedure - PAL_DEBUG_INFO.\r
 \r
   Return the number of instruction and data breakpoint\r
-  registers. It is required by IPF. It is required by IPF. The\r
+  registers. It is required by Itanium processors. The\r
   PAL procedure supports the Static Registers calling\r
   convention. It could be called at physical mode and virtual\r
   mode.\r
@@ -969,7 +909,7 @@ typedef struct {
   PAL Procedure - PAL_FIXED_ADDR.\r
 \r
   Return the fixed component of a processor's directed address.\r
-  It is required by IPF. It is required by IPF. The PAL\r
+  It is required by Itanium processors. The PAL\r
   procedure supports the Static Registers calling convention. It\r
   could be called at physical mode and virtual mode.\r
 \r
@@ -1014,7 +954,7 @@ typedef struct {
 \r
   Return ratio of processor, bus, and interval time counter to\r
   processor input clock or output clock for platform use, if\r
-  generated by the processor. It is required by IPF. The PAL\r
+  generated by the processor. It is required by Itanium processors. The PAL\r
   procedure supports the Static Registers calling convention. It\r
   could be called at physical mode and virtual mode.\r
 \r
@@ -1044,72 +984,47 @@ typedef struct {
 **/\r
 #define PAL_FREQ_RATIOS 14\r
 \r
-/**\r
-\r
-  @param NumberOfLogicalProcessors  Total number of logical\r
-                                    processors on this physical\r
-                                    processor package that are\r
-                                    enabled.\r
-\r
-  @param  ThreadsPerCore Number of threads per core.\r
-\r
-  @param CoresPerProcessor  Total number of cores on this\r
-                            physical processor package.\r
-\r
-  @param PhysicalProcessorPackageId   Physical processor package\r
-                                      identifier which was\r
-                                      assigned at reset by the\r
-                                      platform or bus\r
-                                      controller. This value may\r
-                                      or may not be unique\r
-                                      across the entire platform\r
-                                      since it depends on the\r
-                                      platform vendor's policy.\r
-**/\r
 typedef struct {\r
-  UINT64  NumberOfLogicalProcessors:16;\r
-  UINT64  ThreadsPerCore:8;\r
+  UINT64  NumberOfLogicalProcessors:16;     ///< Total number of logical\r
+                                            ///< processors on this physical\r
+                                            ///< processor package that are\r
+                                            ///< enabled.\r
+  UINT64  ThreadsPerCore:8;                 ///< Number of threads per core.\r
   UINT64  Reserved1:8;\r
-  UINT64  CoresPerProcessor;\r
+  UINT64  CoresPerProcessor;                ///< Total number of cores on this\r
+                                            ///< physical processor package.\r
   UINT64  Reserved2:8;\r
-  UINT64  PhysicalProcessorPackageId:8;\r
+  UINT64  PhysicalProcessorPackageId:8;     ///< Physical processor package\r
+                                            ///< identifier which was\r
+                                            ///< assigned at reset by the\r
+                                            ///< platform or bus\r
+                                            ///< controller. This value may\r
+                                            ///< or may not be unique\r
+                                            ///< across the entire platform\r
+                                            ///< since it depends on the\r
+                                            ///< platform vendor's policy.\r
   UINT64  Reserved3:8;\r
 } PAL_LOGICAL_PROCESSPR_OVERVIEW;\r
 \r
-/**\r
-\r
-  @param ThreadId   The thread identifier of the logical\r
-                    processor for which information is being\r
-                    returned. This value will be unique on a per\r
-                    core basis.\r
-\r
-  @param CoreId     The core identifier of the logical processor\r
-                    for which information is being returned.\r
-                    This value will be unique on a per physical\r
-                    processor package basis.\r
-\r
-**/\r
 typedef struct {\r
-   UINT64 ThreadId:16;\r
+   UINT64 ThreadId:16;      ///< The thread identifier of the logical\r
+                            ///< processor for which information is being\r
+                            ///< returned. This value will be unique on a per\r
+                            ///< core basis.\r
    UINT64 Reserved1:16;\r
-   UINT64 CoreId:16;\r
+   UINT64 CoreId:16;        ///< The core identifier of the logical processor\r
+                            ///< for which information is being returned.\r
+                            ///< This value will be unique on a per physical\r
+                            ///< processor package basis.\r
    UINT64 Reserved2:16;\r
 } PAL_LOGICAL_PROCESSORN_INFO1;\r
 \r
-\r
-/**\r
-\r
-  @param LogicalAddress Geographical address of the logical\r
-                        processor for which information is being\r
-                        returned. This is the same value that is\r
-                        returned by the PAL_FIXED_ADDR procedure\r
-                        when it is called on the logical\r
-                        processor.\r
-\r
-\r
-**/\r
 typedef struct {\r
-   UINT64 LogicalAddress:16;\r
+   UINT64 LogicalAddress:16;    ///< Geographical address of the logical\r
+                                ///< processor for which information is being\r
+                                ///< returned. This is the same value that is\r
+                                ///< returned by the PAL_FIXED_ADDR procedure\r
+                                ///< when it is called on the logical processor.\r
    UINT64 Reserved:48;\r
 } PAL_LOGICAL_PROCESSORN_INFO2;\r
 \r
@@ -1147,32 +1062,18 @@ typedef struct {
 **/\r
 #define PAL_LOGICAL_TO_PHYSICAL 42\r
 \r
-\r
-/**\r
-\r
-  @param NumberOfPmcPairs   Unsigned 8-bit number defining the\r
-                            number of generic PMC/PMD pairs.\r
-\r
-  @param WidthOfCounter   Unsigned 8-bit number in the range\r
-                          0:60 defining the number of\r
-                          implemented counter bits.\r
-\r
-  @param TypeOfCycleCounting  Unsigned 8-bit number defining the\r
-                              event type for counting processor\r
-                              cycles.\r
-\r
-\r
-  @param TypeOfRetiredInstructionBundle   Retired Unsigned 8-bit\r
-                                          number defining the\r
-                                          event type for retired\r
-                                          instruction bundles.\r
-\r
-**/\r
 typedef struct {\r
-  UINT64  NumberOfPmcPairs:8;\r
-  UINT64  WidthOfCounter:8;\r
-  UINT64  TypeOfCycleCounting:8;\r
-  UINT64  TypeOfRetiredInstructionBundle:8;\r
+  UINT64  NumberOfPmcPairs:8;               ///< Unsigned 8-bit number defining the\r
+                                            ///< number of generic PMC/PMD pairs.\r
+  UINT64  WidthOfCounter:8;                 ///< Unsigned 8-bit number in the range\r
+                                            ///< 0:60 defining the number of\r
+                                            ///< implemented counter bits.\r
+  UINT64  TypeOfCycleCounting:8;            ///< Unsigned 8-bit number defining the\r
+                                            ///< event type for counting processor cycles.\r
+  UINT64  TypeOfRetiredInstructionBundle:8; ///< Retired Unsigned 8-bit\r
+                                            ///< number defining the\r
+                                            ///< event type for retired\r
+                                            ///< instruction bundles.\r
   UINT64  Reserved:32;\r
 } PAL_PERFORMANCE_INFO;\r
 \r
@@ -1180,7 +1081,7 @@ typedef struct {
   PAL Procedure - PAL_PERF_MON_INFO.\r
 \r
   Return the number and type of performance monitors. It is\r
-  required by IPF. The PAL procedure supports the Static\r
+  required by Itanium processors. The PAL procedure supports the Static\r
   Registers calling convention. It could be called at physical\r
   mode and virtual mode.\r
 \r
@@ -1206,7 +1107,7 @@ typedef struct {
   PAL Procedure - PAL_PLATFORM_ADDR.\r
 \r
   Specify processor interrupt block address and I/O port space\r
-  address. It is required by IPF. The PAL procedure supports the\r
+  address. It is required by Itanium processors. The PAL procedure supports the\r
   Static Registers calling convention. It could be called at\r
   physical mode and virtual mode.\r
 \r
@@ -1231,356 +1132,323 @@ typedef struct {
 **/\r
 #define PAL_PLATFORM_ADDR 16\r
 \r
-\r
-/**\r
-\r
-  @param EnableBerrPromotion  Bit63. Enable BERR promotion. When\r
-                              1, the Bus Error (BERR) signal is\r
-                              promoted to the Bus Initialization\r
-                              (BINIT) signal, and the BINIT pin\r
-                              is asserted on the occurrence of\r
-                              each Bus Error. Setting this bit\r
-                              has no effect if BINIT signalling\r
-                              is disabled. (See\r
-                              PAL_BUS_GET/SET_FEATURES)\r
-\r
-  @param EnableMcaPromotion   Bit62, Enable MCA promotion. When\r
-                              1, machine check aborts (MCAs) are\r
-                              promoted to the Bus Error signal,\r
-                              and the BERR pin is assert on each\r
-                              occurrence of an MCA. Setting this\r
-                              bit has no effect if BERR\r
-                              signalling is disabled. (See\r
-                              PAL_BUS_GET/SET_FEATURES)\r
-\r
-  @param EnableMcaToBinitPromotion  Bit61, Enable MCA to BINIT\r
-                                    promotion. When 1, machine\r
-                                    check aborts (MCAs) are\r
-                                    promoted to the Bus\r
-                                    Initialization signal, and\r
-                                    the BINIT pin is assert on\r
-                                    each occurrence of an MCA.\r
-                                    Setting this bit has no\r
-                                    effect if BINIT signalling\r
-                                    is disabled. (See\r
-                                    PAL_BUS_GET/SET_FEATURES)\r
-\r
-  @param EnableCmciPromotion  Bit60, Enable CMCI promotion When\r
-                              1, Corrected Machine Check\r
-                              Interrupts (CMCI) are promoted to\r
-                              MCAs. They are also further\r
-                              promoted to BERR if bit 39, Enable\r
-                              MCA promotion, is also set and\r
-                              they are promoted to BINIT if bit\r
-                              38, Enable MCA to BINIT promotion,\r
-                              is also set. This bit has no\r
-                              effect if MCA signalling is\r
-                              disabled (see\r
-                              PAL_BUS_GET/SET_FEATURES)\r
-\r
-  @param DisableCache   Bit59, Disable Cache. When 0, the\r
-                        processor performs cast outs on\r
-                        cacheable pages and issues and responds\r
-                        to coherency requests normally. When 1,\r
-                        the processor performs a memory access\r
-                        for each reference regardless of cache\r
-                        contents and issues no coherence\r
-                        requests and responds as if the line\r
-                        were not present. Cache contents cannot\r
-                        be relied upon when the cache is\r
-                        disabled. WARNING: Semaphore\r
-                        instructions may not be atomic or may\r
-                        cause Unsupported Data Reference faults\r
-                        if caches are disabled.\r
-\r
-  @param DisableCoherency   Bit58, Disable Coherency. When 0,\r
-                            the processor uses normal coherency\r
-                            requests and responses. When 1, the\r
-                            processor answers all requests as if\r
-                            the line were not present.\r
-\r
-  @param DisableDPM   Bit57, Disable Dynamic Power Management\r
-                      (DPM). When 0, the hardware may reduce\r
-                      power consumption by removing the clock\r
-                      input from idle functional units. When 1,\r
-                      all functional units will receive clock\r
-                      input, even when idle.\r
-\r
-  @param DisableBinitWithTimeout  Bit56, Disable a BINIT on\r
-                                  internal processor time-out.\r
-                                  When 0, the processor may\r
-                                  generate a BINIT on an\r
-                                  internal processor time-out.\r
-                                  When 1, the processor will not\r
-                                  generate a BINIT on an\r
-                                  internal processor time-out.\r
-                                  The event is silently ignored.\r
-\r
-\r
-  @param EnableEnvNotification  Bit55, Enable external\r
-                                notification when the processor\r
-                                detects hardware errors caused\r
-                                by environmental factors that\r
-                                could cause loss of\r
-                                deterministic behavior of the\r
-                                processor. When 1, this bit will\r
-                                enable external notification,\r
-                                when 0 external notification is\r
-                                not provided. The type of\r
-                                external notification of these\r
-                                errors is processor-dependent. A\r
-                                loss of processor deterministic\r
-                                behavior is considered to have\r
-                                occurred if these\r
-                                environmentally induced errors\r
-                                cause the processor to deviate\r
-                                from its normal execution and\r
-                                eventually causes different\r
-                                behavior which can be observed\r
-                                 at the processor bus pins.\r
-                                Processor errors that do not\r
-                                have this effects (i.e.,\r
-                                software induced machine checks)\r
-                                may or may not be promoted\r
-                                depending on the processor\r
-                                implementation.\r
-\r
-  @param EnableVmsw   Bit54, Enable the use of the vmsw\r
-                      instruction. When 0, the vmsw instruction\r
-                      causes a Virtualization fault when\r
-                      executed at the most privileged level.\r
-                      When 1, this bit will enable normal\r
-                      operation of the vmsw instruction.\r
-\r
-  @param EnableMcaOnDataPoisoning   Bit53, Enable MCA signaling\r
-                                    on data-poisoning event\r
-                                    detection. When 0, a CMCI\r
-                                    will be signaled on error\r
-                                    detection. When 1, an MCA\r
-                                    will be signaled on error\r
-                                    detection. If this feature\r
-                                    is not supported, then the\r
-                                    corresponding argument is\r
-                                    ignored when calling\r
-                                    PAL_PROC_SET_FEATURES. Note\r
-                                    that the functionality of\r
-                                    this bit is independent of\r
-                                    the setting in bit 60\r
-                                    (Enable CMCI promotion), and\r
-                                    that the bit 60 setting does\r
-                                    not affect CMCI signaling\r
-                                    for data-poisoning related\r
-                                    events. Volume 2: Processor\r
-                                    Abstraction Layer 2:431\r
-                                    PAL_PROC_GET_FEATURES\r
-\r
-  @param DisablePState  Bit52, Disable P-states. When 1, the PAL\r
-                        P-state procedures (PAL_PSTATE_INFO,\r
-                        PAL_SET_PSTATE, PAL_GET_PSTATE) will\r
-                        return with a status of -1\r
-                        (Unimplemented procedure).\r
-\r
-  @param DisableBranchPrediction  Bit47, Disable Dynamic branch\r
-                                  prediction. When 0, the\r
-                                  processor may predict branch\r
-                                  targets and speculatively\r
-                                  execute, but may not commit\r
-                                  results. When 1, the processor\r
-                                  must wait until branch targets\r
-                                  are known to execute.\r
-\r
-  @param DisableDynamicInsCachePrefetch Bit46, Disable\r
-                                        DynamicInstruction Cache\r
-                                        Prefetch. When 0, the\r
-                                        processor may prefetch\r
-                                        into the caches any\r
-                                        instruction which has\r
-                                        not been executed, but\r
-                                        whose execution is\r
-                                        likely. When 1,\r
-                                        instructions may not be\r
-                                        fetched until needed or\r
-                                        hinted for execution.\r
-                                        (Prefetch for a hinted\r
-                                        branch is allowed even\r
-                                        when dynamic instruction\r
-                                        cache prefetch is\r
-                                        disabled.)\r
-\r
-  @param DisableDynamicDataCachePrefetch  Bit45, Disable Dynamic\r
-                                          Data Cache Prefetch.\r
-                                          When 0, the processor\r
-                                          may prefetch into the\r
-                                          caches any data which\r
-                                          has not been accessed\r
-                                          by instruction\r
-                                          execution, but which\r
-                                          is likely to be\r
-                                          accessed. When 1, no\r
-                                          data may be fetched\r
-                                          until it is needed for\r
-                                          instruction execution\r
-                                          or is fetched by an\r
-                                          lfetch instruction.\r
-\r
-  @param DisableSpontaneousDeferral   Bit44, Disable Spontaneous\r
-                                      Deferral. When 1, the\r
-                                      processor may optionally\r
-                                      defer speculative loads\r
-                                      that do not encounter any\r
-                                      exception conditions, but\r
-                                      that trigger other\r
-                                      implementation-dependent\r
-                                      conditions (e.g., cache\r
-                                      miss). When 0, spontaneous\r
-                                      deferral is disabled.\r
-\r
-  @param DisableDynamicPrediction   Bit43, Disable Dynamic\r
-                                    Predicate Prediction. When\r
-                                    0, the processor may predict\r
-                                    predicate results and\r
-                                    execute speculatively, but\r
-                                    may not commit results until\r
-                                    the actual predicates are\r
-                                    known. When 1, the processor\r
-                                    shall not execute predicated\r
-                                    instructions until the\r
-                                    actual predicates are known.\r
-\r
-  @param NoXr1ThroughXr3  Bit42, No XR1 through XR3 implemented.\r
-                          Denotes whether XR1 XR3 are\r
-                          implemented for machine check\r
-                          recovery. This feature may only be\r
-                          interrogated by PAL_PROC_GET_FEATURES.\r
-                          It may not be enabled or disabled by\r
-                          PAL_PROC_SET_FEATURES. The\r
-                          corresponding argument is ignored.\r
-\r
-  @param NoXipXpsrXfs   Bit41, No XIP, XPSR, and XFS\r
-                        implemented. Denotes whether XIP, XPSR,\r
-                        and XFS are implemented for machine\r
-                        check recovery. This feature may only be\r
-                        interrogated by PAL_PROC_GET_FEATURES.\r
-                        It may not be enabled or disabled by\r
-                        PAL_PROC_SET_FEATURES. The corresponding\r
-                        argument is ignored.\r
-\r
-  @param NoVM   Bit40, No Virtual Machine features implemented.\r
-                Denotes whether PSR.vm is implemented. This\r
-                feature may only be interrogated by\r
-                PAL_PROC_GET_FEATURES. It may not be enabled or\r
-                disabled by PAL_PROC_SET_FEATURES. The\r
-                corresponding argument is ignored.\r
-\r
-  @param NoVariablePState   Bit39, No Variable P-state\r
-                            performance: A value of 1, indicates\r
-                            that a processor implements\r
-                            techniques to optimize performance\r
-                            for the given P-state power budget\r
-                            by dynamically varying the\r
-                            frequency, such that maximum\r
-                            performance is achieved for the\r
-                            power budget. A value of 0,\r
-                            indicates that P-states have no\r
-                            frequency variation or very small\r
-                            frequency variations for their given\r
-                            power budget. This feature may only\r
-                            be interrogated by\r
-                            PAL_PROC_GET_FEATURES. it may not be\r
-                            enabled or disabled by\r
-                            PAL_PROC_SET_FEATURES. The\r
-                            corresponding argument is ignored.\r
-\r
-\r
-  @param NoSimpleImpInUndefinedIns  Bit38, No Simple\r
-                                    implementation of\r
-                                    unimplemented instruction\r
-                                    addresses. Denotes how an\r
-                                    unimplemented instruction\r
-                                    address is recorded in IIP\r
-                                    on an Unimplemented\r
-                                    Instruction Address trap or\r
-                                    fault. When 1, the full\r
-                                    unimplemented address is\r
-                                    recorded in IIP; when 0, the\r
-                                    address is sign extended\r
-                                    (virtual addresses) or zero\r
-                                    extended (physical\r
-                                    addresses). This feature may\r
-                                    only be interrogated by\r
-                                    PAL_PROC_GET_FEATURES. It\r
-                                    may not be enabled or\r
-                                    disabled by\r
-                                    PAL_PROC_SET_FEATURES. The\r
-                                    corresponding argument is\r
-                                    ignored.\r
-\r
-  @param NoPresentPmi   Bit37, No INIT, PMI, and LINT pins\r
-                        present. Denotes the absence of INIT,\r
-                        PMI, LINT0 and LINT1 pins on the\r
-                        processor. When 1, the pins are absent.\r
-                        When 0, the pins are present. This\r
-                        feature may only be interrogated by\r
-                        PAL_PROC_GET_FEATURES. It may not be\r
-                        enabled or disabled by\r
-                        PAL_PROC_SET_FEATURES. The corresponding\r
-                        argument is ignored.\r
-\r
-  @param FaultInUndefinedIns  Bit36, No Unimplemented\r
-                              instruction address reported as\r
-                              fault. Denotes how the processor\r
-                              reports the detection of\r
-                              unimplemented instruction\r
-                              addresses. When 1, the processor\r
-                              reports an Unimplemented\r
-                              Instruction Address fault on the\r
-                              unimplemented address; when 0, it\r
-                              reports an Unimplemented\r
-                              Instruction Address trap on the\r
-                              previous instruction in program\r
-                              order. This feature may only be\r
-                              interrogated by\r
-                              PAL_PROC_GET_FEATURES. It may not\r
-                               be enabled or disabled by\r
-                               PAL_PROC_SET_FEATURES. The\r
-                               corresponding argument is\r
-                               ignored.\r
-\r
-**/\r
 typedef struct {\r
   UINT64  Reserved1:36;\r
-  UINT64  FaultInUndefinedIns:1;\r
-  UINT64  NoPresentPmi:1;\r
-  UINT64  NoSimpleImpInUndefinedIns:1;\r
-  UINT64  NoVariablePState:1;\r
-  UINT64  NoVM:1;\r
-  UINT64  NoXipXpsrXfs:1;\r
-  UINT64  NoXr1ThroughXr3:1;\r
-  UINT64  DisableDynamicPrediction:1;\r
-  UINT64  DisableSpontaneousDeferral:1;\r
-  UINT64  DisableDynamicDataCachePrefetch:1;\r
-  UINT64  DisableDynamicInsCachePrefetch:1;\r
-  UINT64  DisableBranchPrediction:1;\r
+  UINT64  FaultInUndefinedIns:1;                ///< Bit36, No Unimplemented\r
+                                                ///< instruction address reported as\r
+                                                ///< fault. Denotes how the processor\r
+                                                ///< reports the detection of\r
+                                                ///< unimplemented instruction\r
+                                                ///< addresses. When 1, the processor\r
+                                                ///< reports an Unimplemented\r
+                                                ///< Instruction Address fault on the\r
+                                                ///< unimplemented address; when 0, it\r
+                                                ///< reports an Unimplemented\r
+                                                ///< Instruction Address trap on the\r
+                                                ///< previous instruction in program\r
+                                                ///< order. This feature may only be\r
+                                                ///< interrogated by\r
+                                                ///< PAL_PROC_GET_FEATURES. It may not\r
+                                                ///< be enabled or disabled by\r
+                                                ///< PAL_PROC_SET_FEATURES. The\r
+                                                ///< corresponding argument is ignored.\r
+                                                \r
+  UINT64  NoPresentPmi:1;                       ///< Bit37, No INIT, PMI, and LINT pins\r
+                                                ///< present. Denotes the absence of INIT,\r
+                                                ///< PMI, LINT0 and LINT1 pins on the\r
+                                                ///< processor. When 1, the pins are absent.\r
+                                                ///< When 0, the pins are present. This\r
+                                                ///< feature may only be interrogated by\r
+                                                ///< PAL_PROC_GET_FEATURES. It may not be\r
+                                                ///< enabled or disabled by\r
+                                                ///< PAL_PROC_SET_FEATURES. The corresponding\r
+                                                ///< argument is ignored.\r
+                                                \r
+  UINT64  NoSimpleImpInUndefinedIns:1;          ///< Bit38, No Simple\r
+                                                ///< implementation of\r
+                                                ///< unimplemented instruction\r
+                                                ///< addresses. Denotes how an\r
+                                                ///< unimplemented instruction\r
+                                                ///< address is recorded in IIP\r
+                                                ///< on an Unimplemented\r
+                                                ///< Instruction Address trap or\r
+                                                ///< fault. When 1, the full\r
+                                                ///< unimplemented address is\r
+                                                ///< recorded in IIP; when 0, the\r
+                                                ///< address is sign extended\r
+                                                ///< (virtual addresses) or zero\r
+                                                ///< extended (physical\r
+                                                ///< addresses). This feature may\r
+                                                ///< only be interrogated by\r
+                                                ///< PAL_PROC_GET_FEATURES. It\r
+                                                ///< may not be enabled or\r
+                                                ///< disabled by\r
+                                                ///< PAL_PROC_SET_FEATURES. The\r
+                                                ///< corresponding argument is\r
+                                                ///< ignored.\r
+\r
+  UINT64  NoVariablePState:1;                   ///< Bit39, No Variable P-state\r
+                                                ///< performance: A value of 1, indicates\r
+                                                ///< that a processor implements\r
+                                                ///< techniques to optimize performance\r
+                                                ///< for the given P-state power budget\r
+                                                ///< by dynamically varying the\r
+                                                ///< frequency, such that maximum\r
+                                                ///< performance is achieved for the\r
+                                                ///< power budget. A value of 0,\r
+                                                ///< indicates that P-states have no\r
+                                                ///< frequency variation or very small\r
+                                                ///< frequency variations for their given\r
+                                                ///< power budget. This feature may only\r
+                                                ///< be interrogated by\r
+                                                ///< PAL_PROC_GET_FEATURES. it may not be\r
+                                                ///< enabled or disabled by\r
+                                                ///< PAL_PROC_SET_FEATURES. The\r
+                                                ///< corresponding argument is ignored.\r
+\r
+  UINT64  NoVM:1;                               ///< Bit40, No Virtual Machine features implemented.\r
+                                                ///< Denotes whether PSR.vm is implemented. This\r
+                                                ///< feature may only be interrogated by\r
+                                                ///< PAL_PROC_GET_FEATURES. It may not be enabled or\r
+                                                ///< disabled by PAL_PROC_SET_FEATURES. The\r
+                                                ///< corresponding argument is ignored.\r
+\r
+  UINT64  NoXipXpsrXfs:1;                       ///< Bit41, No XIP, XPSR, and XFS\r
+                                                ///< implemented. Denotes whether XIP, XPSR,\r
+                                                ///< and XFS are implemented for machine\r
+                                                ///< check recovery. This feature may only be\r
+                                                ///< interrogated by PAL_PROC_GET_FEATURES.\r
+                                                ///< It may not be enabled or disabled by\r
+                                                ///< PAL_PROC_SET_FEATURES. The corresponding\r
+                                                ///< argument is ignored.\r
+\r
+  UINT64  NoXr1ThroughXr3:1;                    ///< Bit42, No XR1 through XR3 implemented.\r
+                                                ///<   Denotes whether XR1 XR3 are\r
+                                                ///<   implemented for machine check\r
+                                                ///<   recovery. This feature may only be\r
+                                                ///<   interrogated by PAL_PROC_GET_FEATURES.\r
+                                                ///<   It may not be enabled or disabled by\r
+                                                ///<   PAL_PROC_SET_FEATURES. The\r
+                                                ///<   corresponding argument is ignored.\r
+\r
+  UINT64  DisableDynamicPrediction:1;           ///< Bit43, Disable Dynamic\r
+                                                ///< Predicate Prediction. When\r
+                                                ///< 0, the processor may predict\r
+                                                ///< predicate results and\r
+                                                ///< execute speculatively, but\r
+                                                ///< may not commit results until\r
+                                                ///< the actual predicates are\r
+                                                ///< known. When 1, the processor\r
+                                                ///< shall not execute predicated\r
+                                                ///< instructions until the\r
+                                                ///< actual predicates are known.\r
+\r
+  UINT64  DisableSpontaneousDeferral:1;         ///< Bit44, Disable Spontaneous\r
+                                                ///<   Deferral. When 1, the\r
+                                                ///<   processor may optionally\r
+                                                ///<   defer speculative loads\r
+                                                ///<   that do not encounter any\r
+                                                ///<   exception conditions, but\r
+                                                ///<   that trigger other\r
+                                                ///<   implementation-dependent\r
+                                                ///<   conditions (e.g., cache\r
+                                                ///<   miss). When 0, spontaneous\r
+                                                ///<   deferral is disabled.\r
+\r
+  UINT64  DisableDynamicDataCachePrefetch:1;    ///< Bit45, Disable Dynamic\r
+                                                ///<   Data Cache Prefetch.\r
+                                                ///<   When 0, the processor\r
+                                                ///<   may prefetch into the\r
+                                                ///<   caches any data which\r
+                                                ///<   has not been accessed\r
+                                                ///<   by instruction\r
+                                                ///<   execution, but which\r
+                                                ///<   is likely to be\r
+                                                ///<   accessed. When 1, no\r
+                                                ///<   data may be fetched\r
+                                                ///<   until it is needed for\r
+                                                ///<   instruction execution\r
+                                                ///<   or is fetched by an\r
+                                                ///<   lfetch instruction.\r
+\r
+  UINT64  DisableDynamicInsCachePrefetch:1;     ///< Bit46, Disable\r
+                                                ///< DynamicInstruction Cache\r
+                                                ///< Prefetch. When 0, the\r
+                                                ///< processor may prefetch\r
+                                                ///< into the caches any\r
+                                                ///< instruction which has\r
+                                                ///< not been executed, but\r
+                                                ///< whose execution is\r
+                                                ///< likely. When 1,\r
+                                                ///< instructions may not be\r
+                                                ///< fetched until needed or\r
+                                                ///< hinted for execution.\r
+                                                ///< (Prefetch for a hinted\r
+                                                ///< branch is allowed even\r
+                                                ///< when dynamic instruction\r
+                                                ///< cache prefetch is\r
+                                                ///< disabled.)\r
+\r
+  UINT64  DisableBranchPrediction:1;            ///< Bit47, Disable Dynamic branch\r
+                                                ///<   prediction. When 0, the\r
+                                                ///<   processor may predict branch\r
+                                                ///<   targets and speculatively\r
+                                                ///<   execute, but may not commit\r
+                                                ///<   results. When 1, the processor\r
+                                                ///<   must wait until branch targets\r
+                                                ///<   are known to execute.\r
   UINT64  Reserved2:4;\r
-  UINT64  DisablePState:1;\r
-  UINT64  EnableMcaOnDataPoisoning:1;\r
-  UINT64  EnableVmsw:1;\r
-  UINT64  EnableEnvNotification:1;\r
-  UINT64  DisableBinitWithTimeout:1;\r
-  UINT64  DisableDPM:1;\r
-  UINT64  DisableCoherency:1;\r
-  UINT64  DisableCache:1;\r
-  UINT64  EnableCmciPromotion:1;\r
-  UINT64  EnableMcaToBinitPromotion:1;\r
-  UINT64  EnableMcaPromotion:1;\r
-  UINT64  EnableBerrPromotion:1;\r
+  UINT64  DisablePState:1;                      ///< Bit52, Disable P-states. When 1, the PAL\r
+                                                ///< P-state procedures (PAL_PSTATE_INFO,\r
+                                                ///< PAL_SET_PSTATE, PAL_GET_PSTATE) will\r
+                                                ///< return with a status of -1\r
+                                                ///< (Unimplemented procedure).\r
+\r
+  UINT64  EnableMcaOnDataPoisoning:1;           ///< Bit53, Enable MCA signaling\r
+                                                ///< on data-poisoning event\r
+                                                ///< detection. When 0, a CMCI\r
+                                                ///< will be signaled on error\r
+                                                ///< detection. When 1, an MCA\r
+                                                ///< will be signaled on error\r
+                                                ///< detection. If this feature\r
+                                                ///< is not supported, then the\r
+                                                ///< corresponding argument is\r
+                                                ///< ignored when calling\r
+                                                ///< PAL_PROC_SET_FEATURES. Note\r
+                                                ///< that the functionality of\r
+                                                ///< this bit is independent of\r
+                                                ///< the setting in bit 60\r
+                                                ///< (Enable CMCI promotion), and\r
+                                                ///< that the bit 60 setting does\r
+                                                ///< not affect CMCI signaling\r
+                                                ///< for data-poisoning related\r
+                                                ///< events. Volume 2: Processor\r
+                                                ///< Abstraction Layer 2:431\r
+                                                ///< PAL_PROC_GET_FEATURES\r
+\r
+  UINT64  EnableVmsw:1;                         ///< Bit54, Enable the use of the vmsw\r
+                                                ///<   instruction. When 0, the vmsw instruction\r
+                                                ///<   causes a Virtualization fault when\r
+                                                ///<   executed at the most privileged level.\r
+                                                ///<   When 1, this bit will enable normal\r
+                                                ///<   operation of the vmsw instruction.\r
+\r
+  UINT64  EnableEnvNotification:1;              ///< Bit55, Enable external\r
+                                                ///< notification when the processor\r
+                                                ///< detects hardware errors caused\r
+                                                ///< by environmental factors that\r
+                                                ///< could cause loss of\r
+                                                ///< deterministic behavior of the\r
+                                                ///< processor. When 1, this bit will\r
+                                                ///< enable external notification,\r
+                                                ///< when 0 external notification is\r
+                                                ///< not provided. The type of\r
+                                                ///< external notification of these\r
+                                                ///< errors is processor-dependent. A\r
+                                                ///< loss of processor deterministic\r
+                                                ///< behavior is considered to have\r
+                                                ///< occurred if these\r
+                                                ///< environmentally induced errors\r
+                                                ///< cause the processor to deviate\r
+                                                ///< from its normal execution and\r
+                                                ///< eventually causes different\r
+                                                ///< behavior which can be observed\r
+                                                ///<  at the processor bus pins.\r
+                                                ///< Processor errors that do not\r
+                                                ///< have this effects (i.e.,\r
+                                                ///< software induced machine checks)\r
+                                                ///< may or may not be promoted\r
+                                                ///< depending on the processor\r
+                                                ///< implementation.\r
+\r
+  UINT64  DisableBinitWithTimeout:1;            ///< Bit56, Disable a BINIT on\r
+                                                ///<   internal processor time-out.\r
+                                                ///<   When 0, the processor may\r
+                                                ///<   generate a BINIT on an\r
+                                                ///<   internal processor time-out.\r
+                                                ///<   When 1, the processor will not\r
+                                                ///<   generate a BINIT on an\r
+                                                ///<   internal processor time-out.\r
+                                                ///<   The event is silently ignored.\r
+\r
+  UINT64  DisableDPM:1;                         ///< Bit57, Disable Dynamic Power Management\r
+                                                ///<   (DPM). When 0, the hardware may reduce\r
+                                                ///<   power consumption by removing the clock\r
+                                                ///<   input from idle functional units. When 1,\r
+                                                ///<   all functional units will receive clock\r
+                                                ///<   input, even when idle.\r
+\r
+  UINT64  DisableCoherency:1;                   ///< Bit58, Disable Coherency. When 0,\r
+                                                ///< the processor uses normal coherency\r
+                                                ///< requests and responses. When 1, the\r
+                                                ///< processor answers all requests as if\r
+                                                ///< the line were not present.\r
+\r
+  UINT64  DisableCache:1;                       ///< Bit59, Disable Cache. When 0, the\r
+                                                ///< processor performs cast outs on\r
+                                                ///< cacheable pages and issues and responds\r
+                                                ///< to coherency requests normally. When 1,\r
+                                                ///< the processor performs a memory access\r
+                                                ///< for each reference regardless of cache\r
+                                                ///< contents and issues no coherence\r
+                                                ///< requests and responds as if the line\r
+                                                ///< were not present. Cache contents cannot\r
+                                                ///< be relied upon when the cache is\r
+                                                ///< disabled. WARNING: Semaphore\r
+                                                ///< instructions may not be atomic or may\r
+                                                ///< cause Unsupported Data Reference faults\r
+                                                ///< if caches are disabled.\r
+\r
+  UINT64  EnableCmciPromotion:1;                ///< Bit60, Enable CMCI promotion When\r
+                                                ///<   1, Corrected Machine Check\r
+                                                ///<   Interrupts (CMCI) are promoted to\r
+                                                ///<   MCAs. They are also further\r
+                                                ///<   promoted to BERR if bit 39, Enable\r
+                                                ///<   MCA promotion, is also set and\r
+                                                ///<   they are promoted to BINIT if bit\r
+                                                ///<   38, Enable MCA to BINIT promotion,\r
+                                                ///<   is also set. This bit has no\r
+                                                ///<   effect if MCA signalling is\r
+                                                ///<   disabled (see\r
+                                                ///<   PAL_BUS_GET/SET_FEATURES)\r
+\r
+  UINT64  EnableMcaToBinitPromotion:1;          ///< Bit61, Enable MCA to BINIT\r
+                                                ///< promotion. When 1, machine\r
+                                                ///< check aborts (MCAs) are\r
+                                                ///< promoted to the Bus\r
+                                                ///< Initialization signal, and\r
+                                                ///< the BINIT pin is assert on\r
+                                                ///< each occurrence of an MCA.\r
+                                                ///< Setting this bit has no\r
+                                                ///< effect if BINIT signalling\r
+                                                ///< is disabled. (See\r
+                                                ///< PAL_BUS_GET/SET_FEATURES)\r
+\r
+  UINT64  EnableMcaPromotion:1;                 ///< Bit62, Enable MCA promotion. When\r
+                                                ///<   1, machine check aborts (MCAs) are\r
+                                                ///<   promoted to the Bus Error signal,\r
+                                                ///<   and the BERR pin is assert on each\r
+                                                ///<   occurrence of an MCA. Setting this\r
+                                                ///<   bit has no effect if BERR\r
+                                                ///<   signalling is disabled. (See\r
+                                                ///<   PAL_BUS_GET/SET_FEATURES)\r
+                                                \r
+  UINT64  EnableBerrPromotion:1;                ///< Bit63. Enable BERR promotion. When\r
+                                                ///<   1, the Bus Error (BERR) signal is\r
+                                                ///<   promoted to the Bus Initialization\r
+                                                ///<   (BINIT) signal, and the BINIT pin\r
+                                                ///<   is asserted on the occurrence of\r
+                                                ///<   each Bus Error. Setting this bit\r
+                                                ///<   has no effect if BINIT signalling\r
+                                                ///<   is disabled. (See\r
+                                                ///<   PAL_BUS_GET/SET_FEATURES)\r
 } PAL_PROCESSOR_FEATURES;\r
 \r
 /**\r
   PAL Procedure - PAL_PROC_GET_FEATURES.\r
 \r
   Return configurable processor features and their current\r
-  setting. It is required by IPF. The PAL procedure supports the\r
+  setting. It is required by Itanium processors. The PAL procedure supports the\r
   Static Registers calling convention. It could be called at\r
   physical mode and virtual mode.\r
 \r
@@ -1614,7 +1482,7 @@ typedef struct {
   PAL Procedure - PAL_PROC_SET_FEATURES.\r
 \r
   Enable or disable configurable processor features. It is\r
-  required by IPF. The PAL procedure supports the Static\r
+  required by Itanium processors. The PAL procedure supports the Static\r
   Registers calling convention. It could be called at physical\r
   mode.\r
 \r
@@ -1651,7 +1519,7 @@ typedef struct {
 /**\r
   PAL Procedure - PAL_REGISTER_INFO.\r
 \r
-  Return AR and CR register information. It is required by IPF.\r
+  Return AR and CR register information. It is required by Itanium processors.\r
   The PAL procedure supports the Static Registers calling\r
   convention. It could be called at physical mode and virtual\r
   mode.\r
@@ -1678,7 +1546,7 @@ typedef struct {
 /**\r
   PAL Procedure - PAL_RSE_INFO.\r
 \r
-  Return RSE information. It is required by IPF. The PAL\r
+  Return RSE information. It is required by Itanium processors. The PAL\r
   procedure supports the Static Registers calling convention. It\r
   could be called at physical mode and virtual mode.\r
 \r
@@ -1698,37 +1566,28 @@ typedef struct {
 **/\r
 #define PAL_RSE_INFO 19\r
 \r
-/**\r
-\r
-  @param VersionOfPalB  Is a 16-bit binary coded decimal (BCD)\r
-                        number that provides identification\r
-                        information about the PAL_B firmware.\r
-\r
-  @param PalVendor  Is an unsigned 8-bit integer indicating the\r
-                    vendor of the PAL code.\r
-\r
-  @param VersionOfPalB  Is a 16-bit binary coded decimal (BCD)\r
-                        number that provides identification\r
-                        information about the PAL_A firmware. In\r
-                        the split PAL_A model, this return value\r
-                        is the version number of the\r
-                        processor-specific PAL_A. The generic\r
-                        PAL_A version is not returned by this\r
-                        procedure in the split PAL_A model.\r
-\r
-**/\r
 typedef struct {\r
-  UINT64  VersionOfPalB:16;\r
+  UINT64  VersionOfPalB:16;     ///< Is a 16-bit binary coded decimal (BCD)\r
+                                ///< number that provides identification\r
+                                ///< information about the PAL_B firmware.\r
   UINT64  Reserved1:8;\r
-  UINT64  PalVendor:8;\r
-  UINT64  VersionOfPalA:16;\r
+  UINT64  PalVendor:8;          ///< Is an unsigned 8-bit integer indicating the\r
+                                ///< vendor of the PAL code.\r
+  UINT64  VersionOfPalA:16;     ///< Is a 16-bit binary coded decimal (BCD)\r
+                                ///< number that provides identification\r
+                                ///< information about the PAL_A firmware. In\r
+                                ///< the split PAL_A model, this return value\r
+                                ///< is the version number of the\r
+                                ///< processor-specific PAL_A. The generic\r
+                                ///< PAL_A version is not returned by this\r
+                                ///< procedure in the split PAL_A model.\r
   UINT64  Reserved2:16;\r
 } PAL_VERSION_INFO;\r
 \r
 /**\r
   PAL Procedure - PAL_VERSION.\r
 \r
-  Return version of PAL code. It is required by IPF. The PAL\r
+  Return version of PAL code. It is required by Itanium processors. The PAL\r
   procedure supports the Static Registers calling convention. It\r
   could be called at physical mode and virtual mode.\r
 \r
@@ -1764,7 +1623,7 @@ typedef struct {
   PAL Procedure - PAL_MC_CLEAR_LOG.\r
 \r
   Clear all error information from processor error logging\r
-  registers. It is required by IPF. The PAL procedure supports\r
+  registers. It is required by Itanium processors. The PAL procedure supports\r
   the Static Registers calling convention. It could be called at\r
   physical mode and virtual mode.\r
 \r
@@ -1785,7 +1644,7 @@ typedef struct {
   PAL Procedure - PAL_MC_DRAIN.\r
 \r
   Ensure that all operations that could cause an MCA have\r
-  completed. It is required by IPF. The PAL procedure supports\r
+  completed. It is required by Itanium processors. The PAL procedure supports\r
   the Static Registers calling convention. It could be called at\r
   physical mode and virtual mode.\r
 \r
@@ -1833,54 +1692,39 @@ typedef struct {
 #define PAL_PROCESSOR_STATE_PARAM     1\r
 #define PAL_STRUCTURE_SPECIFIC_ERROR  2\r
 \r
-/**\r
-\r
-  @param CoreId   Bit3:0,  Processor core ID (default is 0 for\r
-                  processors with a single core)\r
-\r
-  @param ThreadId   Bit7:4, Logical thread ID (default is 0 for\r
-                    processors that execute a single thread)\r
-\r
-  @param InfoOfInsCache   Bit11:8, Error information is\r
-                          available for 1st, 2nd, 3rd, and 4th\r
-                          level instruction caches.\r
-\r
-  @param InfoOfDataCache  Bit15:12, Error information is\r
-                          available for 1st, 2nd, 3rd, and 4th\r
-                          level data/unified caches.\r
-\r
-  @param InfoOfInsTlb   Bit19:16 Error information is available\r
-                        for 1st, 2nd, 3rd, and 4th level\r
-                        instruction TLB.\r
-\r
-  @param InfoOfDataTlb  Bit23:20, Error information is available\r
-                        for 1st, 2nd, 3rd, and 4th level\r
-                        data/unified TLB\r
-\r
-  @param InfoOfProcessorBus   Bit27:24 Error information is\r
-                              available for the 1st, 2nd, 3rd,\r
-                              and 4th level processor bus\r
-                              hierarchy.\r
-\r
-  @param InfoOfRegisterFile   Bit31:28 Error information is\r
-                              available on register file\r
-                              structures.\r
-\r
-  @param InfoOfMicroArch  Bit47:32, Error information is\r
-                          available on micro-architectural\r
-                          structures.\r
-\r
-**/\r
 typedef struct {\r
- UINT64 CoreId:4;\r
- UINT64 ThreadId:4;\r
- UINT64 InfoOfInsCache:4;\r
- UINT64 InfoOfDataCache:4;\r
- UINT64 InfoOfInsTlb:4;\r
- UINT64 InfoOfDataTlb:4;\r
- UINT64 InfoOfProcessorBus:4;\r
- UINT64 InfoOfRegisterFile:4;\r
- UINT64 InfoOfMicroArch:4;\r
+ UINT64 CoreId:4;                   ///< Bit3:0,  Processor core ID (default is 0 for\r
+                                    ///< processors with a single core)\r
+\r
+ UINT64 ThreadId:4;                 ///< Bit7:4, Logical thread ID (default is 0 for\r
+                                    ///< processors that execute a single thread)\r
+\r
+ UINT64 InfoOfInsCache:4;           ///< Bit11:8, Error information is\r
+                                    ///< available for 1st, 2nd, 3rd, and 4th\r
+                                    ///< level instruction caches.\r
+\r
+ UINT64 InfoOfDataCache:4;          ///< Bit15:12, Error information is\r
+                                    ///<   available for 1st, 2nd, 3rd, and 4th\r
+                                    ///<   level data/unified caches.\r
+\r
+ UINT64 InfoOfInsTlb:4;             ///< Bit19:16 Error information is available\r
+                                    ///< for 1st, 2nd, 3rd, and 4th level\r
+                                    ///< instruction TLB.\r
+\r
+ UINT64 InfoOfDataTlb:4;            ///< Bit23:20, Error information is available\r
+                                    ///< for 1st, 2nd, 3rd, and 4th level\r
+                                    ///< data/unified TLB\r
+\r
+ UINT64 InfoOfProcessorBus:4;       ///< Bit27:24 Error information is\r
+                                    ///<   available for the 1st, 2nd, 3rd,\r
+                                    ///<   and 4th level processor bus\r
+                                    ///<   hierarchy.\r
+ UINT64 InfoOfRegisterFile:4;       ///< Bit31:28 Error information is\r
+                                    ///<   available on register file\r
+                                    ///<   structures.\r
+ UINT64 InfoOfMicroArch:4;          ///< Bit47:32, Error information is\r
+                                    ///<   available on micro-architectural\r
+                                    ///<   structures.\r
  UINT64 Reserved:16;\r
 } PAL_MC_ERROR_INFO_LEVEL_INDEX;\r
 \r
@@ -1893,244 +1737,186 @@ typedef struct {
 #define PAL_ERR_INFO_REPONSER_INDENTIFIER         3\r
 #define PAL_ERR_INFO_PRECISE_INSTRUCTION_POINTER  4\r
 \r
-/**\r
-\r
-  @param Operation  Bit3:0, Type of cache operation that caused\r
-                    the machine check: 0 - unknown or internal\r
-                    error 1 - load 2 - store 3 - instruction\r
-                    fetch or instruction prefetch 4 - data\r
-                    prefetch (both hardware and software) 5 -\r
-                    snoop (coherency check) 6 - cast out\r
-                    (explicit or implicit write-back of a cache\r
-                    line) 7 - move in (cache line fill)\r
-\r
-  @param FailedCacheLevel   Bit5:4 Level of cache where the\r
-                            error occurred. A value of 0\r
-                            indicates the first level of cache.\r
-\r
-  @param FailedInDataPart   Bit8, Failure located in the data\r
-                            part of the cache line.\r
-\r
-  @param FailedInTagPart  Bit9, Failure located in the tag part\r
-                          of the cache line.\r
-\r
-  @param FailedInDataCache  Bit10, Failure located in the data\r
-                            cache\r
-\r
-  @param FailedInInsCache   Bit11, Failure located in the\r
-                            instruction cache.\r
-\r
-\r
-  @param Mesi   Bit14:12,  0 - cache line is invalid. 1 - cache\r
-                line is held shared. 2 - cache line is held\r
-                exclusive. 3 - cache line is modified. All other\r
-                values are reserved.\r
-\r
-  @param MesiIsValid  Bit15, The mesi field in the cache_check\r
-                      parameter is valid.\r
-\r
-  @param FailedWay  Bit20:16, Failure located in the way of\r
-                    the cache indicated by this value.\r
-\r
-  @param WayIndexIsValid  Bit21, The way and index field in the\r
-                          cache_check parameter is valid.\r
-\r
-  @param MultipleBitsError  Bit23, A multiple-bit error was\r
-                            detected, and data was poisoned for\r
-                            the corresponding cache line during\r
-                            castout.\r
-\r
-  @param IndexOfCacheLineError  Bit51:32, Index of the cache\r
-                                line where the error occurred.\r
-\r
-  @param InstructionSet   Bit54, Instruction set. If this value\r
-                          is set to zero, the instruction that\r
-                          generated the machine check was an\r
-                          Intel Itanium instruction. If this bit\r
-                          is set to one, the instruction that\r
-                          generated the machine check was IA-32\r
-                          instruction.\r
-\r
-  @param InstructionSetIsValid  Bit55, The is field in the\r
-                                cache_check parameter is valid.\r
-\r
-  @param PrivilegeLevel   Bit57:56, Privilege level. The\r
-                          privilege level of the instruction\r
-                          bundle responsible for generating the\r
-                          machine check.\r
-\r
-  @param PrivilegeLevelIsValide   Bit58, The pl field of the\r
-                                  cache_check parameter is\r
-                                  valid.\r
-\r
-  @param McCorrected  Bit59, Machine check corrected: This bit\r
-                      is set to one to indicate that the machine\r
-                      check has been corrected.\r
-\r
-  @param TargetAddressIsValid   Bit60, Target address is valid:\r
-                                This bit is set to one to\r
-                                indicate that a valid target\r
-                                address has been logged.\r
-\r
-  @param RequesterIdentifier  Bit61, Requester identifier: This\r
-                              bit is set to one to indicate that\r
-                              a valid requester identifier has\r
-                              been logged.\r
-\r
-  @param ResponserIdentifier  Bit62, Responder identifier: This\r
-                              bit is set to one to indicate that\r
-                              a valid responder identifier has\r
-                              been logged.\r
-\r
-  @param PreciseInsPointer  Bit63,  Precise instruction pointer.\r
-                            This bit is set to one to indicate\r
-                            that a valid precise instruction\r
-                            pointer has been logged.\r
-\r
-**/\r
 typedef struct {\r
-  UINT64  Operation:4;\r
-  UINT64  FailedCacheLevel:2;\r
+  UINT64  Operation:4;                  ///< Bit3:0, Type of cache operation that caused\r
+                                        ///< the machine check: 0 - unknown or internal\r
+                                        ///< error 1 - load 2 - store 3 - instruction\r
+                                        ///< fetch or instruction prefetch 4 - data\r
+                                        ///< prefetch (both hardware and software) 5 -\r
+                                        ///< snoop (coherency check) 6 - cast out\r
+                                        ///< (explicit or implicit write-back of a cache\r
+                                        ///< line) 7 - move in (cache line fill)\r
+\r
+  UINT64  FailedCacheLevel:2;           ///< Bit5:4 Level of cache where the\r
+                                        ///< error occurred. A value of 0\r
+                                        ///< indicates the first level of cache.\r
   UINT64  Reserved1:2;\r
-  UINT64  FailedInDataPart:1;\r
-  UINT64  FailedInTagPart:1;\r
-  UINT64  FailedInDataCache:1;\r
-  UINT64  FailedInInsCache:1;\r
-  UINT64  Mesi:3;\r
-  UINT64  MesiIsValid:1;\r
-  UINT64  FailedWay:5;\r
-  UINT64  WayIndexIsValid:1;\r
+  UINT64  FailedInDataPart:1;           ///< Bit8, Failure located in the data part of the cache line.\r
+  UINT64  FailedInTagPart:1;            ///< Bit9, Failure located in the tag part of the cache line.\r
+  UINT64  FailedInDataCache:1;          ///< Bit10, Failure located in the data cache\r
+\r
+  UINT64  FailedInInsCache:1;           ///< Bit11, Failure located in the\r
+                                        ///< instruction cache.\r
+                                        \r
+  UINT64  Mesi:3;                       ///< Bit14:12,  0 - cache line is invalid. 1 - cache\r
+                                        ///< line is held shared. 2 - cache line is held\r
+                                        ///< exclusive. 3 - cache line is modified. All other\r
+                                        ///< values are reserved.\r
+                                        \r
+  UINT64  MesiIsValid:1;                ///< Bit15, The mesi field in the cache_check\r
+                                        ///< parameter is valid.\r
+                                        \r
+  UINT64  FailedWay:5;                  ///< Bit20:16, Failure located in the way of\r
+                                        ///< the cache indicated by this value.\r
+\r
+  UINT64  WayIndexIsValid:1;            ///< Bit21, The way and index field in the\r
+                                        ///< cache_check parameter is valid.\r
 \r
   UINT64  Reserved2:1;\r
-  UINT64  MultipleBitsError:1;\r
+  UINT64  MultipleBitsError:1;          ///< Bit23, A multiple-bit error was\r
+                                        ///< detected, and data was poisoned for\r
+                                        ///< the corresponding cache line during\r
+                                        ///< castout.\r
   UINT64  Reserved3:8;\r
-  UINT64  IndexOfCacheLineError:20;\r
+  UINT64  IndexOfCacheLineError:20;     ///< Bit51:32, Index of the cache\r
+                                        ///< line where the error occurred.\r
   UINT64  Reserved4:2;\r
-  UINT64  InstructionSet:1;\r
-  UINT64  InstructionSetIsValid:1;\r
-\r
-  UINT64  PrivilegeLevel:2;\r
-  UINT64  PrivilegeLevelIsValide:1;\r
 \r
-  UINT64  McCorrected:1;\r
-\r
-  UINT64  TargetAddressIsValid:1;\r
-  UINT64  RequesterIdentifier:1;\r
-  UINT64  ResponserIdentifier:1;\r
-  UINT64  PreciseInsPointer:1;\r
+  UINT64  InstructionSet:1;             ///< Bit54, Instruction set. If this value\r
+                                        ///<   is set to zero, the instruction that\r
+                                        ///<   generated the machine check was an\r
+                                        ///<   Intel Itanium instruction. If this bit\r
+                                        ///<   is set to one, the instruction that\r
+                                        ///<   generated the machine check was IA-32\r
+                                        ///<   instruction.\r
+\r
+  UINT64  InstructionSetIsValid:1;      ///< Bit55, The is field in the\r
+                                        ///< cache_check parameter is valid.\r
+\r
+  UINT64  PrivilegeLevel:2;             ///< Bit57:56, Privilege level. The\r
+                                        ///<   privilege level of the instruction\r
+                                        ///<   bundle responsible for generating the\r
+                                        ///<   machine check.\r
+\r
+  UINT64  PrivilegeLevelIsValide:1;     ///< Bit58, The pl field of the\r
+                                        ///<   cache_check parameter is\r
+                                        ///<   valid.\r
+\r
+  UINT64  McCorrected:1;                ///< Bit59, Machine check corrected: This bit\r
+                                        ///<   is set to one to indicate that the machine\r
+                                        ///<   check has been corrected.\r
+\r
+  UINT64  TargetAddressIsValid:1;       ///< Bit60, Target address is valid:\r
+                                        ///< This bit is set to one to\r
+                                        ///< indicate that a valid target\r
+                                        ///< address has been logged.\r
+\r
+  UINT64  RequesterIdentifier:1;        ///< Bit61, Requester identifier: This\r
+                                        ///<   bit is set to one to indicate that\r
+                                        ///<   a valid requester identifier has\r
+                                        ///<   been logged.\r
+\r
+  UINT64  ResponserIdentifier:1;        ///< Bit62, Responder identifier: This\r
+                                        ///<   bit is set to one to indicate that\r
+                                        ///<   a valid responder identifier has\r
+                                        ///<   been logged.\r
+\r
+  UINT64  PreciseInsPointer:1;          ///< Bit63,  Precise instruction pointer.\r
+                                        ///< This bit is set to one to indicate\r
+                                        ///< that a valid precise instruction\r
+                                        ///< pointer has been logged.\r
 \r
 } PAL_CACHE_CHECK_INFO;\r
 \r
-/**\r
-\r
-  @param FailedSlot   Bit7:0, Slot number of the translation\r
-                      register where the failure occurred.\r
 \r
-  @param FailedSlotIsValid  Bit8, The tr_slot field in the\r
-                            TLB_check parameter is valid.\r
-\r
-  @param TlbLevel   Bit11:10,  The level of the TLB where the\r
-                    error occurred. A value of 0 indicates the\r
-                    first level of TLB\r
-\r
-  @param FailedInDataTr   Bit16, Error occurred in the data\r
-                          translation registers.\r
-\r
-  @param FailedInInsTr  Bit17, Error occurred in the instruction\r
-                        translation registers\r
-\r
-  @param FailedInDataTc   Bit18, Error occurred in data\r
-                          translation cache.\r
-\r
-  @param FailedInInsTc  Bit19, Error occurred in the instruction\r
-                        translation cache.\r
-\r
-  @param FailedOperation  Bit23:20, Type of cache operation that\r
-                          caused the machine check: 0 - unknown\r
-                          1 - TLB access due to load instruction\r
-                          2 - TLB access due to store\r
-                          instruction 3 - TLB access due to\r
-                          instruction fetch or instruction\r
-                          prefetch 4 - TLB access due to data\r
-                          prefetch (both hardware and software)\r
-                          5 - TLB shoot down access 6 - TLB\r
-                          probe instruction (probe, tpa) 7 -\r
-                          move in (VHPT fill) 8 - purge (insert\r
-                          operation that purges entries or a TLB\r
-                          purge instruction) All other values\r
-                          are reserved.\r
-\r
-  @param InstructionSet   Bit54, Instruction set. If this value\r
-                          is set to zero, the instruction that\r
-                          generated the machine check was an\r
-                          Intel Itanium instruction. If this bit\r
-                          is set to one, the instruction that\r
-                          generated the machine check was IA-32\r
-                          instruction.\r
-\r
-  @param InstructionSetIsValid  Bit55, The is field in the\r
-                                TLB_check parameter is valid.\r
-\r
-  @param PrivelegeLevel   Bit57:56, Privilege level. The\r
-                          privilege level of the instruction\r
-                          bundle responsible for generating the\r
-                          machine check.\r
-\r
-  @param PrivelegeLevelIsValid  Bit58,  The pl field of the\r
-                                TLB_check parameter is valid.\r
-\r
-  @param McCorrected  Bit59, Machine check corrected: This bit\r
-                      is set to one to indicate that the machine\r
-                      check has been corrected.\r
-\r
-  @param TargetAddressIsValid   Bit60, Target address is valid:\r
-                                This bit is set to one to\r
-                                indicate that a valid target\r
-                                address has been logged.\r
-\r
-  @param RequesterIdentifier  Bit61 Requester identifier: This\r
-                              bit is set to one to indicate that\r
-                              a valid requester identifier has\r
-                              been logged.\r
-\r
-  @param ResponserIdentifier  Bit62, Responder identifier:  This\r
-                              bit is set to one to indicate that\r
-                              a valid responder identifier has\r
-                              been logged.\r
-\r
-  @param PreciseInsPointer    Bit63 Precise instruction pointer.\r
-                              This bit is set to one to indicate\r
-                              that a valid precise instruction\r
-                              pointer has been logged.\r
-**/\r
 typedef struct {\r
-  UINT64  FailedSlot:8;\r
-  UINT64  FailedSlotIsValid:1;\r
+  UINT64  FailedSlot:8;                 ///< Bit7:0, Slot number of the translation\r
+                                        ///< register where the failure occurred.\r
+  UINT64  FailedSlotIsValid:1;          ///< Bit8, The tr_slot field in the\r
+                                        ///< TLB_check parameter is valid.\r
   UINT64  Reserved1 :1;\r
-  UINT64  TlbLevel:2;\r
+  UINT64  TlbLevel:2;                   ///< Bit11:10,  The level of the TLB where the\r
+                                        ///< error occurred. A value of 0 indicates the\r
+                                        ///< first level of TLB\r
   UINT64  Reserved2 :4;\r
-  UINT64  FailedInDataTr:1;\r
-  UINT64  FailedInInsTr:1;\r
-  UINT64  FailedInDataTc:1;\r
-  UINT64  FailedInInsTc:1;\r
-  UINT64  FailedOperation:4;\r
+\r
+  UINT64  FailedInDataTr:1;             ///< Bit16, Error occurred in the data\r
+                                        ///< translation registers.\r
+\r
+  UINT64  FailedInInsTr:1;              ///< Bit17, Error occurred in the instruction\r
+                                        ///< translation registers\r
+\r
+  UINT64  FailedInDataTc:1;             ///< Bit18, Error occurred in data\r
+                                        ///< translation cache.\r
+\r
+  UINT64  FailedInInsTc:1;              ///< Bit19, Error occurred in the instruction\r
+                                        ///< translation cache.\r
+\r
+  UINT64  FailedOperation:4;            ///< Bit23:20, Type of cache operation that\r
+                                        ///<   caused the machine check: 0 - unknown\r
+                                        ///<   1 - TLB access due to load instruction\r
+                                        ///<   2 - TLB access due to store\r
+                                        ///<   instruction 3 - TLB access due to\r
+                                        ///<   instruction fetch or instruction\r
+                                        ///<   prefetch 4 - TLB access due to data\r
+                                        ///<   prefetch (both hardware and software)\r
+                                        ///<   5 - TLB shoot down access 6 - TLB\r
+                                        ///<   probe instruction (probe, tpa) 7 -\r
+                                        ///<   move in (VHPT fill) 8 - purge (insert\r
+                                        ///<   operation that purges entries or a TLB\r
+                                        ///<   purge instruction) All other values\r
+                                        ///<   are reserved.\r
+\r
   UINT64  Reserved3:30;\r
-  UINT64  InstructionSet:1;\r
-  UINT64  InstructionSetIsValid:1;\r
-  UINT64  PrivelegeLevel:2;\r
-  UINT64  PrivelegeLevelIsValid:1;\r
-  UINT64  McCorrected:1;\r
-  UINT64  TargetAddressIsValid:1;\r
-  UINT64  RequesterIdentifier:1;\r
-  UINT64  ResponserIdentifier:1;\r
-  UINT64  PreciseInsPointer:1;\r
+  UINT64  InstructionSet:1;             ///< Bit54, Instruction set. If this value\r
+                                        ///<   is set to zero, the instruction that\r
+                                        ///<   generated the machine check was an\r
+                                        ///<   Intel Itanium instruction. If this bit\r
+                                        ///<   is set to one, the instruction that\r
+                                        ///<   generated the machine check was IA-32\r
+                                        ///<   instruction.\r
+\r
+  UINT64  InstructionSetIsValid:1;      ///< Bit55, The is field in the\r
+                                        ///< TLB_check parameter is valid.\r
+\r
+  UINT64  PrivelegeLevel:2;             ///< Bit57:56, Privilege level. The\r
+                                        ///<   privilege level of the instruction\r
+                                        ///<   bundle responsible for generating the\r
+                                        ///<   machine check.\r
+\r
+  UINT64  PrivelegeLevelIsValid:1;      ///< Bit58,  The pl field of the\r
+                                        ///< TLB_check parameter is valid.\r
+\r
+  UINT64  McCorrected:1;                ///< Bit59, Machine check corrected: This bit\r
+                                        ///<   is set to one to indicate that the machine\r
+                                        ///<   check has been corrected.\r
+\r
+  UINT64  TargetAddressIsValid:1;       ///< Bit60, Target address is valid:\r
+                                        ///< This bit is set to one to\r
+                                        ///< indicate that a valid target\r
+                                        ///< address has been logged.\r
+\r
+  UINT64  RequesterIdentifier:1;        ///< Bit61 Requester identifier: This\r
+                                        ///<   bit is set to one to indicate that\r
+                                        ///<   a valid requester identifier has\r
+                                        ///<   been logged.\r
+\r
+  UINT64  ResponserIdentifier:1;        ///< Bit62, Responder identifier:  This\r
+                                        ///<   bit is set to one to indicate that\r
+                                        ///<   a valid responder identifier has\r
+                                        ///<   been logged.\r
+\r
+  UINT64  PreciseInsPointer:1;          ///< Bit63 Precise instruction pointer.\r
+                                        ///<   This bit is set to one to indicate\r
+                                        ///<   that a valid precise instruction\r
+                                        ///<   pointer has been logged.\r
 } PAL_TLB_CHECK_INFO;\r
 \r
 /**\r
   PAL Procedure - PAL_MC_ERROR_INFO.\r
 \r
   Return Processor Machine Check Information and Processor\r
-  Static State for logging by SAL. It is required by IPF. The\r
+  Static State for logging by SAL. It is required by Itanium processors. The\r
   PAL procedure supports the Static Registers calling\r
   convention. It could be called at physical and virtual mode.\r
 \r
@@ -2169,7 +1955,7 @@ typedef struct {
   PAL Procedure - PAL_MC_EXPECTED.\r
 \r
   Set/Reset Expected Machine Check Indicator. It is required by\r
-  IPF. The PAL procedure supports the Static Registers calling\r
+  Itanium processors. The PAL procedure supports the Static Registers calling\r
   convention. It could be called at physical mode.\r
 \r
   @param Index      Index of PAL_MC_EXPECTED within the list of PAL\r
@@ -2193,7 +1979,7 @@ typedef struct {
   PAL Procedure - PAL_MC_REGISTER_MEM.\r
 \r
   Register min-state save area with PAL for machine checks and\r
-  inits. It is required by IPF. The PAL procedure supports the\r
+  inits. It is required by Itanium processors. The PAL procedure supports the\r
   Static Registers calling convention. It could be called at\r
   physical mode.\r
 \r
@@ -2213,7 +1999,7 @@ typedef struct {
   PAL Procedure - PAL_MC_RESUME.\r
 \r
   Restore minimal architected state and return to interrupted\r
-  process. It is required by IPF. The PAL procedure supports the\r
+  process. It is required by Itanium processors. The PAL procedure supports the\r
   Static Registers calling convention. It could be called at\r
   physical mode.\r
 \r
@@ -2271,7 +2057,7 @@ typedef struct {
   PAL Procedure - PAL_HALT_INFO.\r
 \r
   Return the low power capabilities of the processor. It is\r
-  required by IPF. The PAL procedure supports the\r
+  required by Itanium processors. The PAL procedure supports the\r
   Stacked Registers calling convention. It could be called at\r
   physical and virtual mode.\r
 \r
@@ -2292,7 +2078,7 @@ typedef struct {
   PAL Procedure - PAL_HALT_LIGHT.\r
 \r
   Enter the low power LIGHT HALT state. It is required by\r
-  IPF. The PAL procedure supports the Static Registers calling\r
+  Itanium processors. The PAL procedure supports the Static Registers calling\r
   convention. It could be called at physical and virtual mode.\r
 \r
   @param Index  Index of PAL_HALT_LIGHT within the list of PAL\r
@@ -2309,7 +2095,7 @@ typedef struct {
   PAL Procedure - PAL_CACHE_LINE_INIT.\r
 \r
   Initialize tags and data of a cache line for processor\r
-  testing. It is required by IPF. The PAL procedure supports the\r
+  testing. It is required by Itanium processors. The PAL procedure supports the\r
   Static Registers calling convention. It could be called at\r
   physical and virtual mode.\r
 \r
@@ -2399,7 +2185,7 @@ typedef struct {
   Returns alignment and size requirements needed for the memory\r
   buffer passed to the PAL_TEST_PROC procedure as well as\r
   information on self-test control words for the processor self\r
-  tests. It is required by IPF. The PAL procedure supports the\r
+  tests. It is required by Itanium processors. The PAL procedure supports the\r
   Static Registers calling convention. It could be called at\r
   physical mode.\r
 \r
@@ -2430,157 +2216,138 @@ typedef struct {
 **/\r
 #define PAL_TEST_INFO 37\r
 \r
-/**\r
-\r
-  @param BufferSize Indicates the size in bytes of the memory\r
-                    buffer that is passed to this procedure.\r
-                    BufferSize must be greater than or equal in\r
-                    size to the bytes_needed return value from\r
-                    PAL_TEST_INFO, otherwise this procedure will\r
-                    return with an invalid argument return\r
-                    value.\r
-\r
-  @param TestPhase  Defines which phase of the processor\r
-                    self-tests are requested to be run. A value\r
-                    of zero indicates to run phase two of the\r
-                    processor self-tests. Phase two of the\r
-                    processor self-tests are ones that require\r
-                    external memory to execute correctly. A\r
-                    value of one indicates to run phase one of\r
-                    the processor self-tests. Phase one of the\r
-                    processor self-tests are tests run during\r
-                    PALE_RESET and do not depend on external\r
-                    memory to run correctly. When the caller\r
-                    requests to have phase one of the processor\r
-                    self-test run via this procedure call, a\r
-                    memory buffer may be needed to save and\r
-                    restore state as required by the PAL calling\r
-                    conventions. The procedure PAL_TEST_INFO\r
-                    informs the caller about the requirements of\r
-                    the memory buffer.\r
-\r
-**/\r
 typedef struct {\r
-  UINT64  BufferSize:56;\r
-  UINT64  TestPhase:8;\r
+  UINT64  BufferSize:56;    ///< Indicates the size in bytes of the memory\r
+                            ///< buffer that is passed to this procedure.\r
+                            ///< BufferSize must be greater than or equal in\r
+                            ///< size to the bytes_needed return value from\r
+                            ///< PAL_TEST_INFO, otherwise this procedure will\r
+                            ///< return with an invalid argument return\r
+                            ///< value.\r
+\r
+  UINT64  TestPhase:8;      ///< Defines which phase of the processor\r
+                            ///< self-tests are requested to be run. A value\r
+                            ///< of zero indicates to run phase two of the\r
+                            ///< processor self-tests. Phase two of the\r
+                            ///< processor self-tests are ones that require\r
+                            ///< external memory to execute correctly. A\r
+                            ///< value of one indicates to run phase one of\r
+                            ///< the processor self-tests. Phase one of the\r
+                            ///< processor self-tests are tests run during\r
+                            ///< PALE_RESET and do not depend on external\r
+                            ///< memory to run correctly. When the caller\r
+                            ///< requests to have phase one of the processor\r
+                            ///< self-test run via this procedure call, a\r
+                            ///< memory buffer may be needed to save and\r
+                            ///< restore state as required by the PAL calling\r
+                            ///< conventions. The procedure PAL_TEST_INFO\r
+                            ///< informs the caller about the requirements of\r
+                            ///< the memory buffer.\r
 } PAL_TEST_INFO_INFO;\r
 \r
-/**\r
-\r
-  @param TestControl  This is an ordered implementation-specific\r
-                      control word that allows the user control\r
-                      over the length and runtime of the\r
-                      processor self-tests. This control word is\r
-                      ordered from the longest running tests up\r
-                      to the shortest running tests with bit 0\r
-                      controlling the longest running test. PAL\r
-                      may not implement all 47-bits of the\r
-                      test_control word. PAL communicates if a\r
-                      bit provides control by placing a zero in\r
-                      that bit. If a bit provides no control,\r
-                      PAL will place a one in it. PAL will have\r
-                      two sets of test_control bits for the two\r
-                      phases of the processor self-test. PAL\r
-                      provides information about implemented\r
-                      test_control bits at the hand-off from PAL\r
-                      to SAL for the firmware recovery check.\r
-                      These test_control bits provide control\r
-                      for phase one of processor self-test. It\r
-                      also provides this information via the PAL\r
-                      procedure call PAL_TEST_INFO for both the\r
-                      phase one and phase two processor tests\r
-                      depending on which information the caller\r
-                      is requesting. PAL interprets these bits\r
-                      as input parameters on two occasions. The\r
-                      first time is when SAL passes control back\r
-                      to PAL after the firmware recovery check.\r
-                      The second time is when a call to\r
-                      PAL_TEST_PROC is made. When PAL interprets\r
-                      these bits it will only interpret\r
-                      implemented test_control bits and will\r
-                      ignore the values located in the\r
-                      unimplemented test_control bits. PAL\r
-                      interprets the implemented bits such that\r
-                      if a bit contains a zero, this indicates\r
-                      to run the test. If a bit contains a one,\r
-                      this indicates to PAL to skip the test. If\r
-                      the cs bit indicates that control is not\r
-                       available, the test_control bits will be\r
-                      ignored or generate an illegal argument in\r
-                      procedure calls if the caller sets these\r
-                      bits.\r
-\r
-  @param ControlSupport   This bit defines if an implementation\r
-                          supports control of the PAL self-tests\r
-                          via the self-test control word. If\r
-                          this bit is 0, the implementation does\r
-                          not support control of the processor\r
-                          self-tests via the self-test control\r
-                          word. If this bit is 1, the\r
-                          implementation does support control of\r
-                          the processor self-tests via the\r
-                          self-test control word. If control is\r
-                          not supported, GR37 will be ignored at\r
-                          the hand-off between SAL and PAL after\r
-                          the firmware recovery check and the\r
-                          PAL procedures related to the\r
-                          processor self-tests may return\r
-                          illegal arguments if a user tries to\r
-                          use the self-test control features.\r
-\r
-**/\r
 typedef struct {\r
-  UINT64  TestControl:47;\r
-  UINT64  ControlSupport:1;\r
+  UINT64  TestControl:47;       ///< This is an ordered implementation-specific\r
+                                ///<   control word that allows the user control\r
+                                ///<   over the length and runtime of the\r
+                                ///<   processor self-tests. This control word is\r
+                                ///<   ordered from the longest running tests up\r
+                                ///<   to the shortest running tests with bit 0\r
+                                ///<   controlling the longest running test. PAL\r
+                                ///<   may not implement all 47-bits of the\r
+                                ///<   test_control word. PAL communicates if a\r
+                                ///<   bit provides control by placing a zero in\r
+                                ///<   that bit. If a bit provides no control,\r
+                                ///<   PAL will place a one in it. PAL will have\r
+                                ///<   two sets of test_control bits for the two\r
+                                ///<   phases of the processor self-test. PAL\r
+                                ///<   provides information about implemented\r
+                                ///<   test_control bits at the hand-off from PAL\r
+                                ///<   to SAL for the firmware recovery check.\r
+                                ///<   These test_control bits provide control\r
+                                ///<   for phase one of processor self-test. It\r
+                                ///<   also provides this information via the PAL\r
+                                ///<   procedure call PAL_TEST_INFO for both the\r
+                                ///<   phase one and phase two processor tests\r
+                                ///<   depending on which information the caller\r
+                                ///<   is requesting. PAL interprets these bits\r
+                                ///<   as input parameters on two occasions. The\r
+                                ///<   first time is when SAL passes control back\r
+                                ///<   to PAL after the firmware recovery check.\r
+                                ///<   The second time is when a call to\r
+                                ///<   PAL_TEST_PROC is made. When PAL interprets\r
+                                ///<   these bits it will only interpret\r
+                                ///<   implemented test_control bits and will\r
+                                ///<   ignore the values located in the\r
+                                ///<   unimplemented test_control bits. PAL\r
+                                ///<   interprets the implemented bits such that\r
+                                ///<   if a bit contains a zero, this indicates\r
+                                ///<   to run the test. If a bit contains a one,\r
+                                ///<   this indicates to PAL to skip the test. If\r
+                                ///<   the cs bit indicates that control is not\r
+                                ///<    available, the test_control bits will be\r
+                                ///<   ignored or generate an illegal argument in\r
+                                ///<   procedure calls if the caller sets these\r
+                                ///<   bits.\r
+                                \r
+  UINT64  ControlSupport:1;     ///< This bit defines if an implementation\r
+                                ///<  supports control of the PAL self-tests\r
+                                ///<  via the self-test control word. If\r
+                                ///<  this bit is 0, the implementation does\r
+                                ///<  not support control of the processor\r
+                                ///<  self-tests via the self-test control\r
+                                ///<  word. If this bit is 1, the\r
+                                ///<  implementation does support control of\r
+                                ///<  the processor self-tests via the\r
+                                ///<  self-test control word. If control is\r
+                                ///<  not supported, GR37 will be ignored at\r
+                                ///<  the hand-off between SAL and PAL after\r
+                                ///<  the firmware recovery check and the\r
+                                ///<  PAL procedures related to the\r
+                                ///<  processor self-tests may return\r
+                                ///<  illegal arguments if a user tries to\r
+                                ///<  use the self-test control features.\r
   UINT64  Reserved:16;\r
 } PAL_SELF_TEST_CONTROL;\r
 \r
-/**\r
-\r
-  @param Attributes   Specifies the memory attributes that are\r
-                      allowed to be used with the memory buffer\r
-                      passed to this procedure. The attributes\r
-                      parameter is a vector where each bit\r
-                      represents one of the virtual memory\r
-                      attributes defined by the architecture.See\r
-                      MEMORY_AATRIBUTES. The caller is required\r
-                      to support the cacheable attribute for the\r
-                      memory buffer, otherwise an invalid\r
-                      argument will be returned.\r
-\r
-\r
-  @param TestControl  Is the self-test control word\r
-                      corresponding to the test_phase passed.\r
-                      This test_control directs the coverage and\r
-                      runtime of the processor self-tests\r
-                      specified by the test_phase input\r
-                      argument. Information on if this\r
-                      feature is implemented and the number of\r
-                      bits supported can be obtained by the\r
-                      PAL_TEST_INFO procedure call. If this\r
-                      feature is implemented by the processor,\r
-                      the caller can selectively skip parts of\r
-                      the processor self-test by setting\r
-                      test_control bits to a one. If a bit has a\r
-                      zero, this test will be run. The values in\r
-                      the unimplemented bits are ignored. If\r
-                      PAL_TEST_INFO indicated that the self-test\r
-                      control word is not implemented, this\r
-                      procedure will return with an invalid\r
-                      argument status if the caller sets any of\r
-                      the test_control bits. See\r
-                      PAL_SELF_TEST_CONTROL.\r
-**/\r
 typedef struct {\r
-  UINT64  Attributes:8;\r
+  UINT64  Attributes:8;         ///< Specifies the memory attributes that are\r
+                                ///<  allowed to be used with the memory buffer\r
+                                ///<  passed to this procedure. The attributes\r
+                                ///<  parameter is a vector where each bit\r
+                                ///<  represents one of the virtual memory\r
+                                ///<  attributes defined by the architecture.See\r
+                                ///<  MEMORY_AATRIBUTES. The caller is required\r
+                                ///<  to support the cacheable attribute for the\r
+                                ///<  memory buffer, otherwise an invalid\r
+                                ///<  argument will be returned.\r
   UINT64  Reserved:8;\r
-  UINT64  TestControl:48;\r
+  UINT64  TestControl:48;       ///< Is the self-test control word\r
+                                ///<  corresponding to the test_phase passed.\r
+                                ///<  This test_control directs the coverage and\r
+                                ///<  runtime of the processor self-tests\r
+                                ///<  specified by the test_phase input\r
+                                ///<  argument. Information on if this\r
+                                ///<  feature is implemented and the number of\r
+                                ///<  bits supported can be obtained by the\r
+                                ///<  PAL_TEST_INFO procedure call. If this\r
+                                ///<  feature is implemented by the processor,\r
+                                ///<  the caller can selectively skip parts of\r
+                                ///<  the processor self-test by setting\r
+                                ///<  test_control bits to a one. If a bit has a\r
+                                ///<  zero, this test will be run. The values in\r
+                                ///<  the unimplemented bits are ignored. If\r
+                                ///<  PAL_TEST_INFO indicated that the self-test\r
+                                ///<  control word is not implemented, this\r
+                                ///<  procedure will return with an invalid\r
+                                ///<  argument status if the caller sets any of\r
+                                ///<  the test_control bits. See\r
+                                ///<  PAL_SELF_TEST_CONTROL.\r
 } PAL_TEST_CONTROL;\r
 \r
 /**\r
   PAL Procedure - PAL_TEST_PROC.\r
 \r
-  Perform late processor self test. It is required by IPF. The\r
+  Perform late processor self test. It is required by Itanium processors. The\r
   PAL procedure supports the Static Registers calling\r
   convention. It could be called at physical mode.\r
 \r
@@ -2611,26 +2378,20 @@ typedef struct {
 **/\r
 #define PAL_TEST_PROC 258\r
 \r
-/**\r
-\r
-  @param NumberOfInterruptControllers   Number of interrupt\r
-                                        controllers currently\r
-                                        enabled on the system.\r
-\r
-  @param  NumberOfProcessors  Number of processors currently\r
-                              enabled on the system.\r
-\r
-**/\r
 typedef struct {\r
-  UINT32  NumberOfInterruptControllers;\r
-  UINT32  NumberOfProcessors;\r
+  UINT32  NumberOfInterruptControllers;     ///< Number of interrupt\r
+                                            ///< controllers currently\r
+                                            ///< enabled on the system.\r
+\r
+  UINT32  NumberOfProcessors;               ///< Number of processors currently\r
+                                            ///< enabled on the system.\r
 } PAL_PLATFORM_INFO;\r
 \r
 /**\r
   PAL Procedure - PAL_COPY_INFO.\r
 \r
   Return information needed to relocate PAL procedures and PAL\r
-  PMI code to memory. It is required by IPF. The PAL procedure\r
+  PMI code to memory. It is required by Itanium processors. The PAL procedure\r
   supports the Static Registers calling convention. It could be\r
   called at physical mode.\r
 \r
@@ -2664,7 +2425,7 @@ typedef struct {
   PAL Procedure - PAL_COPY_PAL.\r
 \r
   Relocate PAL procedures and PAL PMI code to memory. It is\r
-  required by IPF. The PAL procedure supports the Stacked\r
+  required by Itanium processors. The PAL procedure supports the Stacked\r
   Registers calling convention. It could be called at physical\r
   mode.\r
 \r
@@ -2763,7 +2524,7 @@ typedef struct {
   PAL Procedure - PAL_PMI_ENTRYPOINT.\r
 \r
   Register PMI memory entrypoints with processor. It is required\r
-  by IPF. The PAL procedure supports the Stacked Registers\r
+  by Itanium processors. The PAL procedure supports the Stacked Registers\r
   calling convention. It could be called at physical mode.\r
 \r
   @param Index        Index of PAL_PMI_ENTRYPOINT within the list of\r
@@ -2797,7 +2558,7 @@ typedef struct {
   PAL Procedure - PAL_BRAND_INFO.\r
 \r
   Provides processor branding information. It is optional by\r
-  IPF. The PAL procedure supports the Stacked Registers calling\r
+  Itanium processors. The PAL procedure supports the Stacked Registers calling\r
   convention. It could be called at physical and Virtual mode.\r
 \r
   @param Index        Index of PAL_BRAND_INFO within the list of PAL\r
@@ -2825,7 +2586,7 @@ typedef struct {
   PAL Procedure - PAL_GET_HW_POLICY.\r
 \r
   Returns the current hardware resource sharing policy of the\r
-  processor. It is optional by IPF. The PAL procedure supports\r
+  processor. It is optional by Itanium processors. The PAL procedure supports\r
   the Static Registers calling convention. It could be called at\r
   physical and Virtual mode.\r
 \r
@@ -2874,7 +2635,7 @@ typedef struct {
   PAL Procedure - PAL_SET_HW_POLICY.\r
 \r
   Sets the current hardware resource sharing policy of the\r
-  processor. It is optional by IPF. The PAL procedure supports\r
+  processor. It is optional by Itanium processors. The PAL procedure supports\r
   the Static Registers calling convention. It could be called at\r
   physical and Virtual mode.\r
 \r
@@ -2897,175 +2658,152 @@ typedef struct {
 **/\r
 #define PAL_SET_HW_POLICY   49\r
 \r
-\r
-/**\r
-\r
-  @param Mode  Bit2:0, Indicates the mode of operation for this\r
-               procedure: 0 - Query mode 1 - Error inject mode\r
-               (err_inj should also be specified) 2 - Cancel\r
-               outstanding trigger. All other fields in\r
-               PAL_MC_ERROR_TYPE_INFO,\r
-               PAL_MC_ERROR_STRUCTURE_INFO and\r
-               PAL_MC_ERROR_DATA_BUFFER are ignored. All other\r
-               values are reserved.\r
-\r
-  @param ErrorInjection   Bit5:3, indicates the mode of error\r
-                          injection: 0 - Error inject only (no\r
-                          error consumption) 1 - Error inject\r
-                          and consume All other values are\r
-                          reserved.\r
-\r
-\r
-  @param ErrorSeverity    Bit7:6, indicates the severity desired\r
-                          for error injection/query. Definitions\r
-                          of the different error severity types\r
-                          0 - Corrected error 1 - Recoverable\r
-                          error 2 - Fatal error 3 - Reserved\r
-\r
-\r
-  @param ErrorStructure   Bit12:8, Indicates the structure\r
-                          identification for error\r
-                          injection/query: 0 - Any structure\r
-                          (cannot be used during query mode).\r
-                          When selected, the structure type used\r
-                          for error injection is determined by\r
-                          PAL. 1 - Cache 2 - TLB 3 - Register\r
-                          file 4 - Bus/System interconnect 5-15\r
-                          - Reserved 16-31 - Processor\r
-                          specific error injection\r
-                          capabilities.ErrorDataBuffer is used\r
-                          to specify error types. Please refer\r
-                          to the processor specific\r
-                          documentation for additional details.\r
-\r
-  @param StructureHierarchy   Bit15:13, Indicates the structure\r
-                              hierarchy for error\r
-                              injection/query: 0 - Any level of\r
-                              hierarchy (cannot be used during\r
-                              query mode). When selected, the\r
-                              structure hierarchy used for error\r
-                              injection is determined by PAL. 1\r
-                              - Error structure hierarchy\r
-                              level-1 2 - Error structure\r
-                              hierarchy level-2 3 - Error\r
-                              structure hierarchy level-3 4 -\r
-                              Error structure hierarchy level-4\r
-                              All other values are reserved.\r
-                              Reserved 63:16 Reserved\r
-\r
-**/\r
 typedef struct {\r
-  UINT64  Mode:3;\r
-  UINT64  ErrorInjection:3;\r
-  UINT64  ErrorSeverity:2;\r
-  UINT64  ErrorStructure:5;\r
-  UINT64  StructureHierarchy:3;\r
+  UINT64  Mode:3;                   ///< Bit2:0, Indicates the mode of operation for this\r
+                                    ///<    procedure: 0 - Query mode 1 - Error inject mode\r
+                                    ///<    (err_inj should also be specified) 2 - Cancel\r
+                                    ///<    outstanding trigger. All other fields in\r
+                                    ///<    PAL_MC_ERROR_TYPE_INFO,\r
+                                    ///<    PAL_MC_ERROR_STRUCTURE_INFO and\r
+                                    ///<    PAL_MC_ERROR_DATA_BUFFER are ignored. All other\r
+                                    ///<    values are reserved.\r
+\r
+  UINT64  ErrorInjection:3;         ///< Bit5:3, indicates the mode of error\r
+                                    ///<  injection: 0 - Error inject only (no\r
+                                    ///<  error consumption) 1 - Error inject\r
+                                    ///<  and consume All other values are\r
+                                    ///<  reserved.\r
+\r
+  UINT64  ErrorSeverity:2;          ///< Bit7:6, indicates the severity desired\r
+                                    ///<  for error injection/query. Definitions\r
+                                    ///<  of the different error severity types\r
+                                    ///<  0 - Corrected error 1 - Recoverable\r
+                                    ///<  error 2 - Fatal error 3 - Reserved\r
+\r
+  UINT64  ErrorStructure:5;         ///< Bit12:8, Indicates the structure\r
+                                    ///<  identification for error\r
+                                    ///<  injection/query: 0 - Any structure\r
+                                    ///<  (cannot be used during query mode).\r
+                                    ///<  When selected, the structure type used\r
+                                    ///<  for error injection is determined by\r
+                                    ///<  PAL. 1 - Cache 2 - TLB 3 - Register\r
+                                    ///<  file 4 - Bus/System interconnect 5-15\r
+                                    ///<  - Reserved 16-31 - Processor\r
+                                    ///<  specific error injection\r
+                                    ///<  capabilities.ErrorDataBuffer is used\r
+                                    ///<  to specify error types. Please refer\r
+                                    ///<  to the processor specific\r
+                                    ///<  documentation for additional details.\r
+\r
+  UINT64  StructureHierarchy:3;     ///< Bit15:13, Indicates the structure\r
+                                    ///<  hierarchy for error\r
+                                    ///<  injection/query: 0 - Any level of\r
+                                    ///<  hierarchy (cannot be used during\r
+                                    ///<  query mode). When selected, the\r
+                                    ///<  structure hierarchy used for error\r
+                                    ///<  injection is determined by PAL. 1\r
+                                    ///<  - Error structure hierarchy\r
+                                    ///<  level-1 2 - Error structure\r
+                                    ///<  hierarchy level-2 3 - Error\r
+                                    ///<  structure hierarchy level-3 4 -\r
+                                    ///<  Error structure hierarchy level-4\r
+                                    ///<  All other values are reserved.\r
+                                    ///<  Reserved 63:16 Reserved\r
+\r
   UINT64  Reserved:48;\r
 } PAL_MC_ERROR_TYPE_INFO;\r
 \r
-/**\r
+typedef struct {\r
+  UINT64  StructInfoIsValid:1;              ///< Bit0 When 1, indicates that the\r
+                                            ///< structure information fields\r
+                                            ///< (c_t,cl_p,cl_id) are valid and\r
+                                            ///< should be used for error injection.\r
+                                            ///< When 0, the structure information\r
+                                            ///< fields are ignored, and the values\r
+                                            ///< of these fields used for error\r
+                                            ///< injection are\r
+                                            ///< implementation-specific.\r
+\r
+  UINT64  CacheType:2;                      ///< Bit2:1  Indicates which cache should be used\r
+                                            ///< for error injection: 0 - Reserved 1 -\r
+                                            ///< Instruction cache 2 - Data or unified cache\r
+                                            ///< 3 - Reserved\r
+\r
+  UINT64  PortionOfCacheLine:3;             ///< Bit5:3 Indicates the portion of the\r
+                                            ///<   cache line where the error should\r
+                                            ///<   be injected: 0 - Reserved 1 - Tag\r
+                                            ///<   2 - Data 3 - mesi All other\r
+                                            ///<   values are reserved.\r
+\r
+  UINT64  Mechanism:3;                      ///< Bit8:6 Indicates which mechanism is used to\r
+                                            ///< identify the cache line to be used for error\r
+                                            ///< injection: 0 - Reserved 1 - Virtual address\r
+                                            ///< provided in the inj_addr field of the buffer\r
+                                            ///< pointed to by err_data_buffer should be used\r
+                                            ///< to identify the cache line for error\r
+                                            ///< injection. 2 - Physical address provided in\r
+                                            ///< the inj_addr field of the buffer pointed to\r
+                                            ///< by err_data_buffershould be used to identify\r
+                                            ///< the cache line for error injection. 3 - way\r
+                                            ///< and index fields provided in err_data_buffer\r
+                                            ///< should be used to identify the cache line\r
+                                            ///< for error injection. All other values are\r
+                                            ///< reserved.\r
+\r
+  UINT64  DataPoisonOfCacheLine:1;          ///< Bit9 When 1, indicates that a\r
+                                            ///< multiple bit, non-correctable\r
+                                            ///< error should be injected in the\r
+                                            ///< cache line specified by cl_id.\r
+                                            ///< If this injected error is not\r
+                                            ///< consumed, it may eventually\r
+                                            ///< cause a data-poisoning event\r
+                                            ///< resulting in a corrected error\r
+                                            ///< signal, when the associated\r
+                                            ///< cache line is cast out (implicit\r
+                                            ///< or explicit write-back of the\r
+                                            ///< cache line). The error severity\r
+                                            ///< specified by err_sev in\r
+                                            ///< err_type_info must be set to 0\r
+                                            ///< (corrected error) when this bit\r
+                                            ///< is set.\r
 \r
-  @param StructInfoIsValid  Bit0 When 1, indicates that the\r
-                            structure information fields\r
-                            (c_t,cl_p,cl_id) are valid and\r
-                            should be used for error injection.\r
-                            When 0, the structure information\r
-                            fields are ignored, and the values\r
-                            of these fields used for error\r
-                            injection are\r
-                            implementation-specific.\r
-\r
-  @param CacheType  Bit2:1  Indicates which cache should be used\r
-                    for error injection: 0 - Reserved 1 -\r
-                    Instruction cache 2 - Data or unified cache\r
-                    3 - Reserved\r
-\r
-\r
-  @param PortionOfCacheLine   Bit5:3 Indicates the portion of the\r
-                              cache line where the error should\r
-                              be injected: 0 - Reserved 1 - Tag\r
-                              2 - Data 3 - mesi All other\r
-                              values are reserved.\r
-\r
-  @param Mechanism  Bit8:6 Indicates which mechanism is used to\r
-                    identify the cache line to be used for error\r
-                    injection: 0 - Reserved 1 - Virtual address\r
-                    provided in the inj_addr field of the buffer\r
-                    pointed to by err_data_buffer should be used\r
-                    to identify the cache line for error\r
-                    injection. 2 - Physical address provided in\r
-                    the inj_addr field of the buffer pointed to\r
-                    by err_data_buffershould be used to identify\r
-                    the cache line for error injection. 3 - way\r
-                    and index fields provided in err_data_buffer\r
-                    should be used to identify the cache line\r
-                    for error injection. All other values are\r
-                    reserved.\r
+  UINT64  Reserved1:22;\r
 \r
-  @param DataPoisonOfCacheLine  Bit9 When 1, indicates that a\r
-                                multiple bit, non-correctable\r
-                                error should be injected in the\r
-                                cache line specified by cl_id.\r
-                                If this injected error is not\r
-                                consumed, it may eventually\r
-                                cause a data-poisoning event\r
-                                resulting in a corrected error\r
-                                signal, when the associated\r
-                                cache line is cast out (implicit\r
-                                or explicit write-back of the\r
-                                cache line). The error severity\r
-                                specified by err_sev in\r
-                                err_type_info must be set to 0\r
-                                (corrected error) when this bit\r
-                                is set.\r
-\r
-\r
-  @param TrigerInfoIsValid  Bit32 When 1, indicates that the\r
-                            trigger information fields (trigger,\r
-                            trigger_pl) are valid and should be\r
-                            used for error injection. When 0,\r
-                            the trigger information fields are\r
-                            ignored and error injection is\r
-                            performed immediately.\r
-\r
-  @param Triger   Bit36:33 Indicates the operation type to be\r
-                  used as the error trigger condition. The\r
-                  address corresponding to the trigger is\r
-                  specified in the trigger_addr field of the\r
-                  buffer pointed to by err_data_buffer: 0 -\r
-                  Instruction memory access. The trigger match\r
-                  conditions for this operation type are similar\r
-                  to the IBR address breakpoint match conditions\r
-                  1 - Data memory access. The trigger match\r
-                  conditions for this operation type are similar\r
-                  to the DBR address breakpoint match conditions\r
-                  All other values are reserved.\r
-\r
-  @param PrivilegeOfTriger  Bit39:37  Indicates the privilege\r
-                            level of the context during which\r
-                            the error should be injected: 0 -\r
-                            privilege level 0 1 - privilege\r
-                            level 1 2 - privilege level 2 3 -\r
-                            privilege level 3 All other values\r
-                            are reserved. If the implementation\r
-                            does not support privilege level\r
-                            qualifier for triggers (i.e. if\r
-                            trigger_pl is 0 in the capabilities\r
-                            vector), this field is ignored and\r
-                            triggers can be taken at any\r
-                            privilege level.\r
+  UINT64  TrigerInfoIsValid:1;              ///< Bit32 When 1, indicates that the\r
+                                            ///< trigger information fields (trigger,\r
+                                            ///< trigger_pl) are valid and should be\r
+                                            ///< used for error injection. When 0,\r
+                                            ///< the trigger information fields are\r
+                                            ///< ignored and error injection is\r
+                                            ///< performed immediately.\r
+\r
+  UINT64  Triger:4;                         ///< Bit36:33 Indicates the operation type to be\r
+                                            ///<   used as the error trigger condition. The\r
+                                            ///<   address corresponding to the trigger is\r
+                                            ///<   specified in the trigger_addr field of the\r
+                                            ///<   buffer pointed to by err_data_buffer: 0 -\r
+                                            ///<   Instruction memory access. The trigger match\r
+                                            ///<   conditions for this operation type are similar\r
+                                            ///<   to the IBR address breakpoint match conditions\r
+                                            ///<   1 - Data memory access. The trigger match\r
+                                            ///<   conditions for this operation type are similar\r
+                                            ///<   to the DBR address breakpoint match conditions\r
+                                            ///<   All other values are reserved.\r
+\r
+  UINT64  PrivilegeOfTriger:3;              ///< Bit39:37  Indicates the privilege\r
+                                            ///< level of the context during which\r
+                                            ///< the error should be injected: 0 -\r
+                                            ///< privilege level 0 1 - privilege\r
+                                            ///< level 1 2 - privilege level 2 3 -\r
+                                            ///< privilege level 3 All other values\r
+                                            ///< are reserved. If the implementation\r
+                                            ///< does not support privilege level\r
+                                            ///< qualifier for triggers (i.e. if\r
+                                            ///< trigger_pl is 0 in the capabilities\r
+                                            ///< vector), this field is ignored and\r
+                                            ///< triggers can be taken at any\r
+                                            ///< privilege level.\r
 \r
-**/\r
-typedef struct {\r
-  UINT64  StructInfoIsValid:1;\r
-  UINT64  CacheType:2;\r
-  UINT64  PortionOfCacheLine:3;\r
-  UINT64  Mechanism:3;\r
-  UINT64  DataPoisonOfCacheLine:1;\r
-  UINT64  Reserved1:22;\r
-  UINT64  TrigerInfoIsValid:1;\r
-  UINT64  Triger:4;\r
-  UINT64  PrivilegeOfTriger:3;\r
   UINT64  Reserved2:24;\r
 } PAL_MC_ERROR_STRUCT_INFO;\r
 \r
@@ -3087,7 +2825,7 @@ typedef struct {
 \r
   Injects the requested processor error or returns information\r
   on the supported injection capabilities for this particular\r
-  processor implementation. It is optional by IPF. The PAL\r
+  processor implementation. It is optional by Itanium processors. The PAL\r
   procedure supports the Stacked Registers calling convention.\r
   It could be called at physical and Virtual mode.\r
 \r
@@ -3142,7 +2880,7 @@ typedef struct {
   PAL Procedure - PAL_GET_PSTATE.\r
 \r
   Returns the performance index of the processor. It is optional\r
-  by IPF. The PAL procedure supports the Stacked Registers\r
+  by Itanium processors. The PAL procedure supports the Stacked Registers\r
   calling convention. It could be called at physical and Virtual\r
   mode.\r
 \r
@@ -3190,7 +2928,7 @@ typedef struct {
   PAL Procedure - PAL_PSTATE_INFO.\r
 \r
   Returns information about the P-states supported by the\r
-  processor. It is optional by IPF. The PAL procedure supports\r
+  processor. It is optional by Itanium processors. The PAL procedure supports\r
   the Static Registers calling convention. It could be called\r
   at physical and Virtual mode.\r
 \r
@@ -3217,7 +2955,7 @@ typedef struct {
   PAL Procedure - PAL_SET_PSTATE.\r
 \r
   To request a processor transition to a given P-state. It is\r
-  optional by IPF. The PAL procedure supports the Stacked\r
+  optional by Itanium processors. The PAL procedure supports the Stacked\r
   Registers calling convention. It could be called at physical\r
   and Virtual mode.\r
 \r
@@ -3244,7 +2982,7 @@ typedef struct {
   PAL Procedure - PAL_SHUTDOWN.\r
 \r
   Put the logical processor into a low power state which can be\r
-  exited only by a reset event. It is optional by IPF. The PAL\r
+  exited only by a reset event. It is optional by Itanium processors. The PAL\r
   procedure supports the Static Registers calling convention. It\r
   could be called at physical mode.\r
 \r
@@ -3279,7 +3017,7 @@ typedef struct {
   PAL Procedure - PAL_MEMORY_BUFFER.\r
 \r
   Provides cacheable memory to PAL for exclusive use during\r
-  runtime. It is optional by IPF. The PAL procedure supports the\r
+  runtime. It is optional by Itanium processors. The PAL procedure supports the\r
   Static Registers calling convention. It could be called at\r
   physical mode.\r
 \r
@@ -3313,7 +3051,7 @@ typedef struct {
   PAL Procedure - PAL_VP_CREATE.\r
 \r
   Initializes a new vpd for the operation of a new virtual\r
-  processor in the virtual environment. It is optional by IPF.\r
+  processor in the virtual environment. It is optional by Itanium processors.\r
   The PAL procedure supports the Stacked Registers calling\r
   convention. It could be called at Virtual mode.\r
 \r
@@ -3351,7 +3089,7 @@ typedef struct {
   PAL Procedure - PAL_VP_ENV_INFO.\r
 \r
   Returns the parameters needed to enter a virtual environment.\r
-  It is optional by IPF. The PAL procedure supports the Stacked\r
+  It is optional by Itanium processors. The PAL procedure supports the Stacked\r
   Registers calling convention. It could be called at Virtual\r
   mode.\r
 \r
@@ -3385,7 +3123,7 @@ typedef struct {
   PAL Procedure - PAL_VP_EXIT_ENV.\r
 \r
   Allows a logical processor to exit a virtual environment.\r
-  It is optional by IPF. The PAL procedure supports the Stacked\r
+  It is optional by Itanium processors. The PAL procedure supports the Stacked\r
   Registers calling convention. It could be called at Virtual\r
   mode.\r
 \r
@@ -3409,7 +3147,7 @@ typedef struct {
   PAL Procedure - PAL_VP_INIT_ENV.\r
 \r
   Allows a logical processor to enter a virtual environment. It\r
-  is optional by IPF. The PAL procedure supports the Stacked\r
+  is optional by Itanium processors. The PAL procedure supports the Stacked\r
   Registers calling convention. It could be called at Virtual\r
   mode.\r
 \r
@@ -3457,7 +3195,7 @@ typedef struct {
 \r
   Register a different host IVT and/or a different optional\r
   virtualization intercept handler for the virtual processor\r
-  specified by vpd. It is optional by IPF. The PAL procedure\r
+  specified by vpd. It is optional by Itanium processors. The PAL procedure\r
   supports the Stacked Registers calling convention. It could be\r
   called at Virtual mode.\r
 \r
@@ -3485,7 +3223,7 @@ typedef struct {
   PAL Procedure - PAL_VP_RESTORE.\r
 \r
   Restores virtual processor state for the specified vpd on the\r
-  logical processor. It is optional by IPF. The PAL procedure\r
+  logical processor. It is optional by Itanium processors. The PAL procedure\r
   supports the Stacked Registers calling convention. It could be\r
   called at Virtual mode.\r
 \r
@@ -3512,7 +3250,7 @@ typedef struct {
   PAL Procedure - PAL_VP_SAVE.\r
 \r
   Saves virtual processor state for the specified vpd on the\r
-  logical processor. It is optional by IPF. The PAL procedure\r
+  logical processor. It is optional by Itanium processors. The PAL procedure\r
   supports the Stacked Registers calling convention. It could be\r
   called at Virtual mode.\r
 \r
@@ -3540,7 +3278,7 @@ typedef struct {
   PAL Procedure - PAL_VP_TERMINATE.\r
 \r
   Terminates operation for the specified virtual processor. It\r
-  is optional by IPF. The PAL procedure supports the Stacked\r
+  is optional by Itanium processors. The PAL procedure supports the Stacked\r
   Registers calling convention. It could be called at Virtual\r
   mode.\r
 \r