Searched refs:HCRX_EL2 (Results 1 – 7 of 7) sorted by relevance
288 For CPUs with support for HCRX_EL2 (FEAT_HCX) present:386 - HCRX_EL2.MSCEn (bit 11) must be initialised to 0b1.396 - HCRX_EL2.TCR2En (bit 14) must be initialised to 0b1.
205 compute_clr_set(vcpu, HCRX_EL2, clr, set); in __activate_traps_common()
75 - FEAT_HCX (Support for the HCRX_EL2 register)
382 HCRX_EL2, /* Extended Hypervisor Configuration Register */ enumerator
2296 Sysreg HCRX_EL2 3 4 1 2 2
1841 tmp = sanitised_sys_reg(vcpu, HCRX_EL2); in __check_nv_sr_forward()
2429 EL2_REG(HCRX_EL2, access_rw, reset_val, 0),