Lines Matching defs:read_c0_cache
794 #define read_c0_cache() __read_32bit_c0_register($7, 0) /* TX39xx */
