describe_dmmu_fault 419 kernel/arch/sparc64/src/mm/sun4u/tlb.c void describe_dmmu_fault(void) describe_dmmu_fault 343 kernel/arch/sparc64/src/mm/sun4v/tlb.c void describe_dmmu_fault(void)