/* param base IEE peripheral address. param region Selection of the IEE region to be locked.  */
void IEE_LockRegionConfig(IEE_Type *base, iee_region_t region)
/* param base IEE peripheral address. param region Selection of the IEE region to be locked.  */
void IEE_LockRegionConfig(IEE_Type *base, iee_region_t region)
{
    base->GCFG |= (uint32_t)(0x1UL << (uint32_t)region);
}