Symbol: swap_print_all
sys/ddb/db_command.c
511
swap_print_all(db_printf);
sys/ddb/db_interface.h
82
void swap_print_all(int (*)(const char *, ...));