cpulist
int64_t hv_cpu_mondo_send(uint64_t ncpus, paddr_t cpulist, paddr_t data);
struct cpulist *cpuentry = NULL;
struct cpulist *citer;
struct cpulist *citer;
struct cpulist *citer;
struct cpulist *citer;
TAILQ_ENTRY(cpulist) entry;
static TAILQ_HEAD(, cpulist) cpulisthead;
static struct cpulist *
return kmem_zalloc(sizeof(struct cpulist), KM_SLEEP);
cpu_free(struct cpulist *c)
kmem_free(c, sizeof(struct cpulist));