Searched refs:HCRX_VINMI (Results 1 – 3 of 3) sorted by relevance
954 !(arm_hcrx_el2_eff(env) & HCRX_VINMI)) || in arm_cpu_update_virq()998 (arm_hcrx_el2_eff(env) & HCRX_VINMI)) || in arm_cpu_update_vinmi()
226 #define HCRX_VINMI (1ULL << 7) macro
6230 valid_mask |= HCRX_TALLINT | HCRX_VINMI | HCRX_VFNMI; in hcrx_write()