int hwpl_gpio_set(int port, void * ctl){
	gpio_wr(port, (uint32_t)ctl);
	return 0;
}
Exemple #2
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);
}