Searched refs:sv_type (Results 1 – 1 of 1) sorted by relevance
291 const char *sv_type; in print_mmu() local295 sv_type = "sv32"; in print_mmu()298 sv_type = "sv57"; in print_mmu()300 sv_type = "sv48"; in print_mmu()302 sv_type = "sv39"; in print_mmu()305 sv_type = "none"; in print_mmu()307 seq_printf(f, "mmu\t\t: %s\n", sv_type); in print_mmu()
Completed in 3 milliseconds