25 static void show_facilities(int fd)  in show_facilities()  argument
31     dprintf(fd, "facilities      :");  in show_facilities()
35             dprintf(fd, " %d", bit);  in show_facilities()
38     dprintf(fd, "\n");  in show_facilities()
47 static void show_cpu_summary(CPUArchState *cpu_env, int fd)  in show_cpu_summary()  argument
55     dprintf(fd, "vendor_id       : IBM/S390\n"  in show_cpu_summary()
59     dprintf(fd, "max thread id   : 0\n");  in show_cpu_summary()
60     dprintf(fd, "features\t: ");  in show_cpu_summary()
67             dprintf(fd, "%s ", hwcap_str);  in show_cpu_summary()
70     dprintf(fd, "\n");  in show_cpu_summary()
71     show_facilities(fd);  in show_cpu_summary()
73         dprintf(fd, "processor %d: "  in show_cpu_summary()
81 static void show_cpu_ids(CPUArchState *cpu_env, int fd, unsigned long n)  in show_cpu_ids()  argument
85     dprintf(fd, "version         : %02X\n", model->cpu_ver);  in show_cpu_ids()
86     dprintf(fd, "identification  : %06X\n", cpu_ident(n));  in show_cpu_ids()
87     dprintf(fd, "machine         : %04X\n", model->def->type);  in show_cpu_ids()
90 static void show_cpuinfo(CPUArchState *cpu_env, int fd, unsigned long n)  in show_cpuinfo()  argument
92     dprintf(fd, "\ncpu number      : %ld\n", n);  in show_cpuinfo()
93     show_cpu_ids(cpu_env, fd, n);  in show_cpuinfo()
96 static int open_cpuinfo(CPUArchState *cpu_env, int fd)  in open_cpuinfo()  argument
101     show_cpu_summary(cpu_env, fd);  in open_cpuinfo()
103         show_cpuinfo(cpu_env, fd, i);  in open_cpuinfo()