kmt_wrpcicfg
"write a register in PCI config space", kmt_wrpcicfg },
extern int kmt_wrpcicfg(uintptr_t, uint_t, int, const mdb_arg_t *);