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