hv_cpumask_to_vpset
nr_bank = hv_cpumask_to_vpset(&flush->hv_vp_set, &mask, sc);
hv_cpumask_to_vpset(struct hv_vpset *vpset, const cpuset_t *cpus,