Searched refs:HCR_FWB (Results 1 – 2 of 2) sorted by relevance
16 #define HCR_FWB (UL(1) << 46) macro
57 vcpu->arch.hcr_el2 |= HCR_FWB; in vcpu_reset_hcr()