Constant HWCFGR_NUM_TZMA_MASK 

const HWCFGR_NUM_TZMA_MASK: u32 = 0xFF;