Searched defs:hcrx (Results 1 – 3 of 3) sorted by relevance
320 u64 hcrx = __vcpu_sys_reg(vcpu, HCRX_EL2); in handle_other() local
321 u64 hcrx = vcpu->arch.hcrx_el2; in __activate_traps_common() local