pcie_bdf_dcmd
"print it as b/d/f", pcie_bdf_dcmd },
extern int pcie_bdf_dcmd(uintptr_t, uint_t, int, const mdb_arg_t *);