Searched refs:HCR_GUEST_FLAGS (Results 1 – 2 of 2) sorted by relevance
85 #define HCR_GUEST_FLAGS (HCR_TSC | HCR_TSW | HCR_TWE | HCR_TWI | HCR_VM | \ macro
66 vcpu->arch.hcr_el2 = HCR_GUEST_FLAGS; in vcpu_reset_hcr()