Searched refs:sv_type (Results 1 – 1 of 1) sorted by relevance
289 const char *sv_type; in print_mmu() local293 sv_type = "sv32"; in print_mmu()296 sv_type = "sv57"; in print_mmu()298 sv_type = "sv48"; in print_mmu()300 sv_type = "sv39"; in print_mmu()303 sv_type = "none"; in print_mmu()305 seq_printf(f, "mmu\t\t: %s\n", sv_type); in print_mmu()