/**\r
FIXME: Need documentation\r
**/\r
-EFI_STATUS TZPCSetDecProtBits(UINTN TzpcBase, UINTN TzpcId, UINTN Bits) {\r
- if (TzpcId > TZPC_DECPROT_MAX) {\r
- return EFI_INVALID_PARAMETER;\r
- }\r
+EFI_STATUS\r
+TZPCSetDecProtBits (\r
+ IN UINTN TzpcBase,\r
+ IN UINTN TzpcId,\r
+ IN UINTN Bits\r
+ )\r
+{\r
+ if (TzpcId > TZPC_DECPROT_MAX) {\r
+ return EFI_INVALID_PARAMETER;\r
+ }\r
\r
- MmioWrite32((UINTN)TzpcBase + TZPC_DECPROT0_SET_REG + (TzpcId * 0x0C), Bits);\r
+ MmioWrite32 ((UINTN)TzpcBase + TZPC_DECPROT0_SET_REG + (TzpcId * 0x0C), Bits);\r
\r
- return EFI_SUCCESS;\r
+ return EFI_SUCCESS;\r
}\r
\r
/**\r
FIXME: Need documentation\r
**/\r
-EFI_STATUS TZPCClearDecProtBits(UINTN TzpcBase, UINTN TzpcId, UINTN Bits) {\r
- if (TzpcId> TZPC_DECPROT_MAX) {\r
- return EFI_INVALID_PARAMETER;\r
- }\r
+EFI_STATUS\r
+TZPCClearDecProtBits (\r
+ IN UINTN TzpcBase,\r
+ IN UINTN TzpcId,\r
+ IN UINTN Bits\r
+ )\r
+{\r
+ if (TzpcId> TZPC_DECPROT_MAX) {\r
+ return EFI_INVALID_PARAMETER;\r
+ }\r
\r
- MmioWrite32((UINTN)TzpcBase + TZPC_DECPROT0_CLEAR_REG + (TzpcId * 0x0C), Bits);\r
+ MmioWrite32 ((UINTN)TzpcBase + TZPC_DECPROT0_CLEAR_REG + (TzpcId * 0x0C), Bits);\r
\r
- return EFI_SUCCESS;\r
+ return EFI_SUCCESS;\r
}\r
\r
/**\r
FIXME: Need documentation\r
**/\r
-UINT32 TZASCGetNumRegions(UINTN TzascBase) {\r
- return (MmioRead32((UINTN)TzascBase + TZASC_CONFIGURATION_REG) & 0xF);\r
+UINT32\r
+TZASCGetNumRegions (\r
+ IN UINTN TzascBase\r
+ )\r
+{\r
+ return (MmioRead32 ((UINTN)TzascBase + TZASC_CONFIGURATION_REG) & 0xF);\r
}\r
\r
/**\r
FIXME: Need documentation\r
**/\r
-EFI_STATUS TZASCSetRegion(UINTN TzascBase, UINTN RegionId, UINTN Enabled, UINTN LowAddress, UINTN HighAddress, UINTN Size, UINTN Security) {\r
- UINT32* Region;\r
+EFI_STATUS\r
+TZASCSetRegion (\r
+ IN INTN TzascBase,\r
+ IN UINTN RegionId,\r
+ IN UINTN Enabled,\r
+ IN UINTN LowAddress,\r
+ IN UINTN HighAddress,\r
+ IN UINTN Size,\r
+ IN UINTN Security\r
+ )\r
+{\r
+ UINT32* Region;\r
\r
- if (RegionId > TZASCGetNumRegions(TzascBase)) {\r
- return EFI_INVALID_PARAMETER;\r
- }\r
+ if (RegionId > TZASCGetNumRegions(TzascBase)) {\r
+ return EFI_INVALID_PARAMETER;\r
+ }\r
\r
- Region = (UINT32*)((UINTN)TzascBase + TZASC_REGIONS_REG + (RegionId * 0x10));\r
+ Region = (UINT32*)((UINTN)TzascBase + TZASC_REGIONS_REG + (RegionId * 0x10));\r
\r
- MmioWrite32((UINTN)(Region), LowAddress&0xFFFF8000);\r
+ MmioWrite32((UINTN)(Region), LowAddress&0xFFFF8000);\r
MmioWrite32((UINTN)(Region+1), HighAddress);\r
MmioWrite32((UINTN)(Region+2), ((Security & 0xF) <<28) | ((Size & 0x3F) << 1) | (Enabled & 0x1));\r
\r
- return EFI_SUCCESS;\r
+ return EFI_SUCCESS;\r
}\r