__readx_32bit_c0_register
#define readx_c0_entrylo0() __readx_32bit_c0_register($2, 0)
#define readx_c0_entrylo1() __readx_32bit_c0_register($3, 0)
#define readx_c0_maar() __readx_32bit_c0_register($17, 1)
