Symbol: db_show_mmu
sys/arch/powerpc/powerpc/db_interface.c
112
{ DDB_ADD_CMD("mmu", db_show_mmu, 0,
sys/arch/powerpc/powerpc/db_interface.c
81
static void db_show_mmu(db_expr_t, bool, db_expr_t, const char *);