int hwpl_gpio_set(int port, void * ctl){ gpio_wr(port, (uint32_t)ctl); return 0; }
void board_debug_led(int on) { gpio_wr(gpio_led0, on); gpio_wr(gpio_led1, on); gpio_wr(gpio_led2, on); gpio_wr(gpio_led3, on); }