/* 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)
{
	out16(SYS_IO_ADDRESS, value);
}