/* hcu_led_set value to be placed into the LEDs (max 6 bit)  */
void hcu_led_set(u32 value)
/* hcu_led_set value to be placed into the LEDs (max 6 bit)  */
void hcu_led_set(u32 value)
{
   out_be16((u16 *)MCU25_LED_REGISTER_ADDRESS, value);
}