/* param base TDET peripheral base address param mask Bit mask for the lock bits to be cleared. Use tdet_register_t values to encode (OR'ed) which TDET Registers shall be locked.  */
void TDET_LockRegisters(DIGTMP_Type *base, uint32_t mask)
/* param base TDET peripheral base address param mask Bit mask for the lock bits to be cleared. Use tdet_register_t values to encode (OR'ed) which TDET Registers shall be locked.  */
void TDET_LockRegisters(DIGTMP_Type *base, uint32_t mask)
{
    mask &= (uint32_t)kTDET_AllRegisters;
    base->LR &= ~mask;
}