Searched refs:sysmmu_fault_name (Results 1 – 1 of 1) sorted by relevance
175 static char *sysmmu_fault_name[SYSMMU_FAULTS_NUM] = { variable303 sysmmu_fault_name[itype], fault_addr, name, &pgtable_base); in show_fault_information()