__write_64bit_gc0_register
__write_64bit_gc0_register(reg, sel, val); \
#define write_gc0_ebase_64(val) __write_64bit_gc0_register($15, 1, val)
#define write_gc0_perfcntr0_64(val) __write_64bit_gc0_register($25, 1, val)
#define write_gc0_perfcntr1_64(val) __write_64bit_gc0_register($25, 3, val)
#define write_gc0_perfcntr2_64(val) __write_64bit_gc0_register($25, 5, val)
#define write_gc0_perfcntr3_64(val) __write_64bit_gc0_register($25, 7, val)
#define write_gc0_cvmctl(val) __write_64bit_gc0_register($9, 7, val)
#define write_gc0_cvmmemctl(val) __write_64bit_gc0_register($11, 7, val)
#define write_gc0_cvmmemctl2(val) __write_64bit_gc0_register($16, 6, val)