__read_64bit_gc0_register
(unsigned long) __read_64bit_gc0_register(reg, sel))
#define read_gc0_ebase_64() __read_64bit_gc0_register($15, 1)
#define read_gc0_perfcntr0_64() __read_64bit_gc0_register($25, 1)
#define read_gc0_perfcntr1_64() __read_64bit_gc0_register($25, 3)
#define read_gc0_perfcntr2_64() __read_64bit_gc0_register($25, 5)
#define read_gc0_perfcntr3_64() __read_64bit_gc0_register($25, 7)
#define read_gc0_cvmctl() __read_64bit_gc0_register($9, 7)
#define read_gc0_cvmmemctl() __read_64bit_gc0_register($11, 7)
#define read_gc0_cvmmemctl2() __read_64bit_gc0_register($16, 6)