Constant BT1_AXI_WERRH_ADDR_MASK 

const BT1_AXI_WERRH_ADDR_MASK: u32 = 0xFF00_0000;