Mitigation: PTE Inversion; VMX: conditional cache flushes, SMT disabled