Symbol: uvm_page_printall
sys/ddb/db_command.c
1116
uvm_page_printall(db_printf);
sys/uvm/uvm_ddb.h
42
void uvm_page_printall(void (*)(const char *, ...));