__writex_32bit_c0_register
#define writex_c0_entrylo0(val) __writex_32bit_c0_register($2, 0, val)
#define writex_c0_entrylo1(val) __writex_32bit_c0_register($3, 0, val)
#define writex_c0_maar(val) __writex_32bit_c0_register($17, 1, val)