Searched refs:sv_type (Results 1 – 1 of 1) sorted by relevance
231 const char *sv_type; in print_mmu() local235 sv_type = "sv32"; in print_mmu()238 sv_type = "sv57"; in print_mmu()240 sv_type = "sv48"; in print_mmu()242 sv_type = "sv39"; in print_mmu()245 sv_type = "none"; in print_mmu()247 seq_printf(f, "mmu\t\t: %s\n", sv_type); in print_mmu()