cvmx_read64       277 arch/mips/include/asm/octeon/cvmx.h 		cvmx_read64(CVMX_MIO_BOOT_BIST_STAT);
cvmx_read64       293 arch/mips/include/asm/octeon/cvmx.h 	uint64_t val = cvmx_read64(csr_addr);
cvmx_read64       444 arch/mips/include/asm/octeon/cvmx.h 		return cvmx_read64(CVMX_IPD_CLK_COUNT);