Lines Matching defs:read_c0_count3
806 #define read_c0_count3() __read_32bit_c0_register($9, 7) /* pnx8550 */
