66 static inline __unused void write_cptr_el2_tam(uint64_t value)  in write_cptr_el2_tam()  argument
69 		((value << CPTR_EL2_TAM_SHIFT) & CPTR_EL2_TAM_BIT));  in write_cptr_el2_tam()
74 	uint64_t value = read_ctx_reg(get_el3state_ctx(ctx), CTX_SCR_EL3);  in ctx_write_scr_el3_amvoffen()  local
76 	value &= ~SCR_AMVOFFEN_BIT;  in ctx_write_scr_el3_amvoffen()
77 	value |= (amvoffen << SCR_AMVOFFEN_SHIFT) & SCR_AMVOFFEN_BIT;  in ctx_write_scr_el3_amvoffen()
79 	write_ctx_reg(get_el3state_ctx(ctx), CTX_SCR_EL3, value);  in ctx_write_scr_el3_amvoffen()
82 static inline __unused void write_hcr_el2_amvoffen(uint64_t value)  in write_hcr_el2_amvoffen()  argument
85 		((value << HCR_AMVOFFEN_SHIFT) & HCR_AMVOFFEN_BIT));  in write_hcr_el2_amvoffen()
88 static inline __unused void write_amcr_el0_cg1rz(uint64_t value)  in write_amcr_el0_cg1rz()  argument
91 		((value << AMCR_CG1RZ_SHIFT) & AMCR_CG1RZ_BIT));  in write_amcr_el0_cg1rz()
132 	uint64_t value = read_amcntenset0_el0();  in write_amcntenset0_el0_px()  local
134 	value &= ~AMCNTENSET0_EL0_Pn_MASK;  in write_amcntenset0_el0_px()
135 	value |= (px << AMCNTENSET0_EL0_Pn_SHIFT) & AMCNTENSET0_EL0_Pn_MASK;  in write_amcntenset0_el0_px()
137 	write_amcntenset0_el0(value);  in write_amcntenset0_el0_px()
142 	uint64_t value = read_amcntenset1_el0();  in write_amcntenset1_el0_px()  local
144 	value &= ~AMCNTENSET1_EL0_Pn_MASK;  in write_amcntenset1_el0_px()
145 	value |= (px << AMCNTENSET1_EL0_Pn_SHIFT) & AMCNTENSET1_EL0_Pn_MASK;  in write_amcntenset1_el0_px()
147 	write_amcntenset1_el0(value);  in write_amcntenset1_el0_px()
152 	uint64_t value = read_amcntenclr0_el0();  in write_amcntenclr0_el0_px()  local
154 	value &= ~AMCNTENCLR0_EL0_Pn_MASK;  in write_amcntenclr0_el0_px()
155 	value |= (px << AMCNTENCLR0_EL0_Pn_SHIFT) & AMCNTENCLR0_EL0_Pn_MASK;  in write_amcntenclr0_el0_px()
157 	write_amcntenclr0_el0(value);  in write_amcntenclr0_el0_px()
162 	uint64_t value = read_amcntenclr1_el0();  in write_amcntenclr1_el0_px()  local
164 	value &= ~AMCNTENCLR1_EL0_Pn_MASK;  in write_amcntenclr1_el0_px()
165 	value |= (px << AMCNTENCLR1_EL0_Pn_SHIFT) & AMCNTENCLR1_EL0_Pn_MASK;  in write_amcntenclr1_el0_px()
167 	write_amcntenclr1_el0(value);  in write_amcntenclr1_el0_px()