Symbol: db_get_itlb_tag
sys/arch/sparc64/sparc64/db_interface.c
580
db_get_itlb_data(int entry), db_get_itlb_tag(int entry);
sys/arch/sparc64/sparc64/db_interface.c
637
tag = db_get_itlb_tag(entry);