Symbol: stfpcie_conf_write
sys/arch/riscv64/dev/stfpcie.c
206
void stfpcie_conf_write(void *, pcitag_t, int, pcireg_t);
sys/arch/riscv64/dev/stfpcie.c
548
sc->sc_pc.pc_conf_write = stfpcie_conf_write;