Region = (UINT32*)((UINTN)TzascBase + TZASC_REGIONS_REG + (RegionId * 0x10));\r
\r
MmioWrite32((UINTN)(Region), LowAddress&0xFFFF8000);\r
-\s\sMmioWrite32((UINTN)(Region+1), HighAddress);\r
-\s\sMmioWrite32((UINTN)(Region+2), ((Security & 0xF) <<28) | ((Size & 0x3F) << 1) | (Enabled & 0x1));\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
}\r