1452     MS_U64 u64StartAddr,  in HAL_Seal_SecureRangeSet()  argument
1471     if(u64StartAddr < HAL_MIU1_BASE)  in HAL_Seal_SecureRangeSet()
1523         u64StartAddr -= HAL_MIU1_BASE;  in HAL_Seal_SecureRangeSet()
1572     if ( (u32Attribute == 0x0)|| (u64StartAddr == 0 && u64EndAddr == 0))  in HAL_Seal_SecureRangeSet()
1598 …else if (u64StartAddr == HAL_SEAL_NonPmRead6Byte(u32RegStartAddr) && u64EndAddr == HAL_SEAL_NonPmR…  in HAL_Seal_SecureRangeSet()
1620         HAL_SEAL_NonPmWrite6Byte(u32RegStartAddr, u64StartAddr);  in HAL_Seal_SecureRangeSet()
1622 …   HAL_SEAL_NonPmWrite6Byte(u32RegStartAddrPatch, u64StartAddr | (1<<31)); // enable bit 31 for CPU  in HAL_Seal_SecureRangeSet()
2543     MS_U64 u64StartAddr;  in HAL_Seal_CheckSecureRange()  local
2574             u64StartAddr = HAL_SEAL_NonPmRead6Byte(u32RegStartAddr);  in HAL_Seal_CheckSecureRange()
2579                     if ( u64StartAddr <= u64Offset && u64EndAddr > u64Offset )  in HAL_Seal_CheckSecureRange()
2581                     else if ( u64StartAddr > u64Offset && u64StartAddr < (u64Offset + u32Length))  in HAL_Seal_CheckSecureRange()
2585                     if ( u64StartAddr <= u64Offset && u64EndAddr >= (u64Offset + u32Length) )  in HAL_Seal_CheckSecureRange()
2681     MS_U64 u64StartAddr;  in HAL_Seal_SetSecureRange()  local
2722             u64StartAddr = HAL_SEAL_NonPmRead6Byte(u32RegStartAddr);  in HAL_Seal_SetSecureRange()
2723             if (u64StartAddr == u64Offset && (u8Val & (1<<i)))  in HAL_Seal_SetSecureRange()
2744             u64StartAddr = HAL_SEAL_NonPmRead6Byte(u32RegStartAddr);  in HAL_Seal_SetSecureRange()
2745             if (u64StartAddr == u64Offset && (u8Val & (1<<i)))  in HAL_Seal_SetSecureRange()