Lines Matching defs:read_c0_compare3
818 #define read_c0_compare3() __read_32bit_c0_register($11, 7) /* pnx8550 */
