Symbol: mpfgpio_pin_write
sys/arch/riscv64/dev/mpfgpio.c
250
.gp_pin_write = mpfgpio_pin_write,
sys/arch/riscv64/dev/mpfgpio.c
78
void mpfgpio_pin_write(void *, int, int);