pub const CPUID_SVM_FLUSHASID: u32 = 64;