Symbol: db_page_cmd
sys/arch/sparc/sparc/db_interface.c
142
void db_page_cmd(db_expr_t, bool, db_expr_t, const char *);
sys/arch/sparc/sparc/db_interface.c
443
{ DDB_ADD_CMD("page", db_page_cmd, 0,
sys/arch/sparc64/sparc64/db_interface.c
1084
{ DDB_ADD_CMD("page", db_page_cmd, 0,
sys/arch/sparc64/sparc64/db_interface.c
658
void db_page_cmd(db_expr_t, bool, db_expr_t, const char *);