HelenOS sources

describe_dmmu_fault  684 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h extern void describe_dmmu_fault(void);
describe_dmmu_fault  151 kernel/arch/sparc64/include/arch/mm/sun4v/tlb.h extern void describe_dmmu_fault(void);