__read_const_32bit_c0_register
(unsigned long) __read_const_32bit_c0_register(reg, sel) : \
#define read_c0_prid() __read_const_32bit_c0_register($15, 0)