Symbol: db_invltlb_cmd
sys/ddb/db_command.c
119
{ "i", db_invltlb_cmd, 0, NULL },
sys/ddb/ddb.h
121
db_cmdfcn_t db_invltlb_cmd;