-//\r
-// Delivery Mode of IPF CPU.\r
-//\r
-typedef enum {\r
- EFI_DELIVERY_MODE_INT,\r
- EFI_DELIVERY_MODE_MPreserved1,\r
- EFI_DELIVERY_MODE_PMI,\r
- EFI_DELIVERY_MODE_MPreserved2,\r
- EFI_DELIVERY_MODE_NMI,\r
- EFI_DELIVERY_MODE_INIT,\r
- EFI_DELIVERY_MODE_MPreserved3,\r
- EFI_DELIVERY_MODE_ExtINT\r
-} EFI_DELIVERY_MODE;\r
-\r
-typedef SAL_RETURN_REGS (EFIAPI *SAL_PROC)\r
- (\r
- IN UINT64 FunctionId,\r
- IN UINT64 Arg2,\r
- IN UINT64 Arg3,\r
- IN UINT64 Arg4,\r
- IN UINT64 Arg5,\r
- IN UINT64 Arg6,\r
- IN UINT64 Arg7,\r
- IN UINT64 Arg8\r
+/**\r
+ Prototype of SAL procedures.\r
+\r
+ @param FunctionId Functional identifier.\r
+ The upper 32 bits are ignored and only the lower 32 bits\r
+ are used. The following functional identifiers are defined:\r
+ 0x01XXXXXX - Architected SAL functional group.\r
+ 0x02XXXXXX to 0x03XXXXXX - OEM SAL functional group. Each OEM is\r
+ allowed to use the entire range in the 0x02XXXXXX to 0x03XXXXXX range.\r
+ 0x04XXXXXX to 0xFFFFFFFF - Reserved.\r
+ @param Arg1 The first parameter of the architected/OEM specific SAL functions.\r
+ @param Arg2 The second parameter of the architected/OEM specific SAL functions.\r
+ @param Arg3 The third parameter passed to the ESAL function based.\r
+ @param Arg4 The fourth parameter passed to the ESAL function based.\r
+ @param Arg5 The fifth parameter passed to the ESAL function based.\r
+ @param Arg6 The sixth parameter passed to the ESAL function.\r
+ @param Arg7 The seventh parameter passed to the ESAL function based.\r
+\r
+ @return r8 Return status: positive number indicates successful,\r
+ negative number indicates failure.\r
+ r9 Other return parameter in r9.\r
+ r10 Other return parameter in r10.\r
+ r11 Other return parameter in r11.\r
+\r
+**/\r
+typedef\r
+SAL_RETURN_REGS\r
+(EFIAPI *SAL_PROC)(\r
+ IN UINT64 FunctionId,\r
+ IN UINT64 Arg1,\r
+ IN UINT64 Arg2,\r
+ IN UINT64 Arg3,\r
+ IN UINT64 Arg4,\r
+ IN UINT64 Arg5,\r
+ IN UINT64 Arg6,\r
+ IN UINT64 Arg7\r