#define __read_32bit_c0_register(source, sel)                ({ int __res;                                    if (sel == 0)                                    __asm__ __volatile__(                                "mfc0\t%0, " #source "\n\t"                        : "=r" (__res));                    else                                        __asm__ __volatile__(                                ".set\tmips32\n\t"                            "mfc0\t%0, " #source ", " #sel "\n\t"                    ".set\tmips0\n\t"                            : "=r" (__res));                    __res;                                })


其实我是想读取 mips处理器的cp0的32个寄存器的值，但不知道用什么语句能把他们的值输出，在mipsregs.h这个头文件中找到了上面的函数定义，但看不明白是什么意思，也不知道怎么用，请大侠们帮帮忙吧