Lines Matching defs:read_c0_count2
803 #define read_c0_count2() __read_32bit_c0_register($9, 6) /* pnx8550 */
