U32 LED_Read_Display_Mask(U32 mask) { return Rd_bits(LED_State, mask); }
uint32_t LED_Read_Display_Mask(uint32_t mask) { return Rd_bits(LED_State, mask); }