Symbol: db_show_selinfo
sys/ddb/db_command.c
322
{ DDB_ADD_CMD("selinfo", db_show_selinfo,
sys/ddb/db_interface.h
90
void db_show_selinfo(db_expr_t, bool, db_expr_t, const char *);