Symbol: db_get_dtlb_tag
sys/arch/sparc64/sparc64/db_interface.c
579
unsigned long db_get_dtlb_data(int entry), db_get_dtlb_tag(int entry),
sys/arch/sparc64/sparc64/db_interface.c
628
tag = db_get_dtlb_tag(entry);