irmpools_dcmd
{ "irmpools", NULL, "display interrupt pools", irmpools_dcmd },
extern int irmpools_dcmd(uintptr_t, uint_t, int, const mdb_arg_t *);