18 #define read_sysreg_elx(r,nvh,vh)					\  argument
21 		asm volatile(ALTERNATIVE(__mrs_s("%0", r##nvh),	\
22 					 __mrs_s("%0", r##vh),		\
28 #define write_sysreg_elx(v,r,nvh,vh)					\  argument
31 		asm volatile(ALTERNATIVE(__msr_s(r##nvh, "%x0"),	\
32 					 __msr_s(r##vh, "%x0"),		\
43 #define read_sysreg_el0(r)	read_sysreg_elx(r, _EL0, _EL02)  argument
44 #define write_sysreg_el0(v,r)	write_sysreg_elx(v, r, _EL0, _EL02)  argument
45 #define read_sysreg_el1(r)	read_sysreg_elx(r, _EL1, _EL12)  argument
46 #define write_sysreg_el1(v,r)	write_sysreg_elx(v, r, _EL1, _EL12)  argument
47 #define read_sysreg_el2(r)	read_sysreg_elx(r, _EL2, _EL1)  argument
48 #define write_sysreg_el2(v,r)	write_sysreg_elx(v, r, _EL2, _EL1)  argument