Symbol: mpfgpio_pin_read
sys/arch/riscv64/dev/mpfgpio.c
249
.gp_pin_read = mpfgpio_pin_read,
sys/arch/riscv64/dev/mpfgpio.c
77
int mpfgpio_pin_read(void *, int);