/* 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)
{
	u32   tmp = ~value;
	tmp = (tmp << 23) | 0x7FFFFF;
	out_be32((u32 *)GPIO0_OR, tmp);
}