Lines Matching refs:value
72 static inline __unused void write_cptr_el2_tam(uint64_t value) in write_cptr_el2_tam() argument
75 ((value << CPTR_EL2_TAM_SHIFT) & CPTR_EL2_TAM_BIT)); in write_cptr_el2_tam()
80 uint64_t value = read_ctx_reg(get_el3state_ctx(ctx), CTX_CPTR_EL3); in write_cptr_el3_tam() local
82 value &= ~TAM_BIT; in write_cptr_el3_tam()
83 value |= (tam << TAM_SHIFT) & TAM_BIT; in write_cptr_el3_tam()
85 write_ctx_reg(get_el3state_ctx(ctx), CTX_CPTR_EL3, value); in write_cptr_el3_tam()
88 static inline __unused void write_hcr_el2_amvoffen(uint64_t value) in write_hcr_el2_amvoffen() argument
91 ((value << HCR_AMVOFFEN_SHIFT) & HCR_AMVOFFEN_BIT)); in write_hcr_el2_amvoffen()
94 static inline __unused void write_amcr_el0_cg1rz(uint64_t value) in write_amcr_el0_cg1rz() argument
97 ((value << AMCR_CG1RZ_SHIFT) & AMCR_CG1RZ_BIT)); in write_amcr_el0_cg1rz()
138 uint64_t value = read_amcntenset0_el0(); in write_amcntenset0_el0_px() local
140 value &= ~AMCNTENSET0_EL0_Pn_MASK; in write_amcntenset0_el0_px()
141 value |= (px << AMCNTENSET0_EL0_Pn_SHIFT) & AMCNTENSET0_EL0_Pn_MASK; in write_amcntenset0_el0_px()
143 write_amcntenset0_el0(value); in write_amcntenset0_el0_px()
148 uint64_t value = read_amcntenset1_el0(); in write_amcntenset1_el0_px() local
150 value &= ~AMCNTENSET1_EL0_Pn_MASK; in write_amcntenset1_el0_px()
151 value |= (px << AMCNTENSET1_EL0_Pn_SHIFT) & AMCNTENSET1_EL0_Pn_MASK; in write_amcntenset1_el0_px()
153 write_amcntenset1_el0(value); in write_amcntenset1_el0_px()
158 uint64_t value = read_amcntenclr0_el0(); in write_amcntenclr0_el0_px() local
160 value &= ~AMCNTENCLR0_EL0_Pn_MASK; in write_amcntenclr0_el0_px()
161 value |= (px << AMCNTENCLR0_EL0_Pn_SHIFT) & AMCNTENCLR0_EL0_Pn_MASK; in write_amcntenclr0_el0_px()
163 write_amcntenclr0_el0(value); in write_amcntenclr0_el0_px()
168 uint64_t value = read_amcntenclr1_el0(); in write_amcntenclr1_el0_px() local
170 value &= ~AMCNTENCLR1_EL0_Pn_MASK; in write_amcntenclr1_el0_px()
171 value |= (px << AMCNTENCLR1_EL0_Pn_SHIFT) & AMCNTENCLR1_EL0_Pn_MASK; in write_amcntenclr1_el0_px()
173 write_amcntenclr1_el0(value); in write_amcntenclr1_el0_px()