Searched refs:sv_type (Results 1 – 1 of 1) sorted by relevance
263 const char *sv_type; in print_mmu() local267 sv_type = "sv32"; in print_mmu()270 sv_type = "sv57"; in print_mmu()272 sv_type = "sv48"; in print_mmu()274 sv_type = "sv39"; in print_mmu()277 sv_type = "none"; in print_mmu()279 seq_printf(f, "mmu\t\t: %s\n", sv_type); in print_mmu()