Symbol: db_md_tlbi_cmd
sys/arch/aarch64/aarch64/db_machdep.c
167
"tlbi", db_md_tlbi_cmd, 0,
sys/arch/aarch64/aarch64/db_machdep.c
76
void db_md_tlbi_cmd(db_expr_t, bool, db_expr_t, const char *);