Searched refs:HCR_TTLBOS (Results 1 – 3 of 3) sorted by relevance
26 #define HCR_TTLBOS __HCR(TTLBOS) macro
308 .value = HCR_TTLBOS,309 .mask = HCR_TTLBOS,
5628 vcpu->arch.hcr_el2 |= HCR_TTLBOS; in vcpu_set_hcr()