Symbol: sparc64_finalize_tlb
sys/arch/sparc/stand/ofwboot/boot.c
301
sparc64_finalize_tlb(marks[MARK_DATA]);
sys/arch/sparc/stand/ofwboot/boot.h
55
void sparc64_finalize_tlb(u_long);