cmd_ksidlist
int cmd_ksidlist(uintptr_t, uint_t, int, const mdb_arg_t *);
{ "ksidlist", ":[-v]", "display a ksidlist_t", cmd_ksidlist },