Symbol: db_print_vector
sys/arch/ia64/ia64/db_interface.c
512
extern void db_print_vector(u_int, int);
sys/arch/ia64/ia64/db_interface.c
521
db_print_vector(vector, 1);
sys/arch/ia64/ia64/db_interface.c
524
db_print_vector(vector, 0);
sys/arch/ia64/ia64/interrupt.c
71
void db_print_vector(u_int, int);