wbinvd_on_cpus_mask
void wbinvd_on_cpus_mask(struct cpumask *cpus);
wbinvd_on_cpus_mask(vcpu->arch.wbinvd_dirty_mask);
EXPORT_SYMBOL_FOR_KVM(wbinvd_on_cpus_mask);