__write_64bit_c0_register
__write_64bit_c0_register(reg, sel, val); \
#define write_c0_entryhi_64(val) __write_64bit_c0_register($10, 0, val)
#define write_c0_r10k_diag(val) __write_64bit_c0_register($22, 0, val)
#define write_c0_perfcntr0_64(val) __write_64bit_c0_register($25, 1, val)
#define write_c0_perfcntr1_64(val) __write_64bit_c0_register($25, 3, val)
#define write_c0_perfcntr2_64(val) __write_64bit_c0_register($25, 5, val)
#define write_c0_perfcntr3_64(val) __write_64bit_c0_register($25, 7, val)
#define write_c0_ebase_64(val) __write_64bit_c0_register($15, 1, val)
#define write_c0_pgd(val) __write_64bit_c0_register($9, 7, val)
#define write_c0_kpgd(val) __write_64bit_c0_register($31, 7, val)
#define write_c0_cvmctl(val) __write_64bit_c0_register($9, 7, val)
#define write_c0_cvmmemctl(val) __write_64bit_c0_register($11, 7, val)
#define write_c0_cvmmemctl2(val) __write_64bit_c0_register($16, 6, val)
#define write_c0_cvmvmconfig(val) __write_64bit_c0_register($16, 7, val)
#define write_octeon_c0_icacheerr(val) __write_64bit_c0_register($27, 0, val)
#define write_octeon_c0_dcacheerr(val) __write_64bit_c0_register($27, 1, val)
__write_64bit_c0_register($24, 0, 0);
__write_64bit_c0_register($11, 7, cvmmemctl.u64);