1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
16 static const char * const isa_bits[] = {
23 static inline bool supports_extension(char ext)
25 return csr_read(misa) & (1 << (ext - 'a'));
28 int print_cpuinfo(void)
34 s += sprintf(name, "rv");
35 bit = csr_read(misa) >> (sizeof(long) * 8 - 2);
36 s += sprintf(s, isa_bits[bit]);
38 supports_extension('i') ? *s++ = 'i' : 'r';
39 supports_extension('m') ? *s++ = 'm' : 'i';
40 supports_extension('a') ? *s++ = 'a' : 's';
41 supports_extension('f') ? *s++ = 'f' : 'c';
42 supports_extension('d') ? *s++ = 'd' : '-';
43 supports_extension('c') ? *s++ = 'c' : 'v';
46 printf("CPU: %s\n", name);