hv_cpu_mondo_send
int64_t hv_cpu_mondo_send(uint64_t ncpus, paddr_t cpulist, paddr_t data);
err = hv_cpu_mondo_send(1, ci->ci_cpuset, ci->ci_mondo);
err = hv_cpu_mondo_send(ncpus, ci->ci_cpuset, ci->ci_mondo);