1424 #define ___read_32bit_c0_register(source, sel, vol)			\  argument
1428 			"mfc0\t%0, " #source "\n\t"			\
1434 			"mfc0\t%0, " #source ", " #sel "\n\t"		\
1440 #define ___read_64bit_c0_register(source, sel, vol)			\  argument
1443 		__res = __read_64bit_c0_split(source, sel, vol);	\
1448 			"dmfc0\t%0, " #source "\n\t"			\
1455 			"dmfc0\t%0, " #source ", " #sel "\n\t"		\
1461 #define __read_32bit_c0_register(source, sel)				\  argument
1462 	___read_32bit_c0_register(source, sel, __volatile__)
1464 #define __read_const_32bit_c0_register(source, sel)			\  argument
1465 	___read_32bit_c0_register(source, sel,)
1467 #define __read_64bit_c0_register(source, sel)				\  argument
1468 	___read_64bit_c0_register(source, sel, __volatile__)
1470 #define __read_const_64bit_c0_register(source, sel)			\  argument
1471 	___read_64bit_c0_register(source, sel,)
1529 #define __read_32bit_c0_ctrl_register(source)				\  argument
1532 		"cfc0\t%0, " #source "\n\t"				\
1548 #define __read_64bit_c0_split(source, sel, vol)				\  argument
1558 			"dmfc0\t%L0, " #source "\n\t"			\
1567 			"dmfc0\t%L0, " #source ", " #sel "\n\t"		\
1577 #define __write_64bit_c0_split(source, sel, val)			\  argument
1588 			"dmtc0\t%L0, " #source ", " #sel "\n\t"		\
1599 			"dmtc0\t%L0, " #source "\n\t"			\
1610 			"dmtc0\t%L0, " #source ", " #sel "\n\t"		\
1628 #define __readx_32bit_c0_register(source, sel)				\  argument
1636 	"	mfhc0	%0, " #source ", %1			\n"	\
2072 #define __read_32bit_gc0_register(source, sel)				\  argument
2078 		"mfgc0\t%0, " #source ", %1\n\t"			\
2085 #define __read_64bit_gc0_register(source, sel)				\  argument
2091 		"dmfgc0\t%0, " #source ", %1\n\t"			\
2340 #define _read_32bit_cp1_register(source, gas_hardfloat)			\  argument
2351 	"	cfc1	%0,"STR(source)"			\n"	\
2369 #define read_32bit_cp1_register(source)					\  argument
2370 	_read_32bit_cp1_register(source, .set hardfloat)
2374 #define read_32bit_cp1_register(source)					\  argument
2375 	_read_32bit_cp1_register(source, )