__read_64bit_c0_register
(unsigned long) __read_64bit_c0_register(reg, sel))
#define read_c0_entryhi_64() __read_64bit_c0_register($10, 0)
#define read_c0_r10k_diag() __read_64bit_c0_register($22, 0)
#define read_c0_perfcntr0_64() __read_64bit_c0_register($25, 1)
#define read_c0_perfcntr1_64() __read_64bit_c0_register($25, 3)
#define read_c0_perfcntr2_64() __read_64bit_c0_register($25, 5)
#define read_c0_perfcntr3_64() __read_64bit_c0_register($25, 7)
#define read_c0_ebase_64() __read_64bit_c0_register($15, 1)
#define read_c0_pgd() __read_64bit_c0_register($9, 7)
#define read_c0_kpgd() __read_64bit_c0_register($31, 7)
#define read_c0_cvmctl() __read_64bit_c0_register($9, 7)
#define read_c0_cvmmemctl() __read_64bit_c0_register($11, 7)
#define read_c0_cvmmemctl2() __read_64bit_c0_register($16, 6)
#define read_c0_cvmvmconfig() __read_64bit_c0_register($16, 7)
#define read_octeon_c0_icacheerr() __read_64bit_c0_register($27, 0)
#define read_octeon_c0_dcacheerr() __read_64bit_c0_register($27, 1)
cvmmemctl_save.u64 = __read_64bit_c0_register($11, 7);
__read_64bit_c0_register($26, 1));