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