VMBUS_PCPU_PTR
VMBUS_PCPU_PTR(sc, message_task, cpu));
flush = *VMBUS_PCPU_PTR(sc, cpu_mem, curcpu);
if(*VMBUS_PCPU_PTR(sc, cpu_mem, curcpu) == NULL)
flush = *VMBUS_PCPU_PTR(sc, cpu_mem, curcpu);
hv_cpu_mem = VMBUS_PCPU_PTR(sc, cpu_mem, cpu);
hv_cpu_mem = VMBUS_PCPU_PTR(sc, cpu_mem, cpu);
VMBUS_PCPU_PTR(sc, message_task, cpu));
intrcnt_add(buf, VMBUS_PCPU_PTR(sc, intr_cnt, cpu));
VMBUS_PCPU_PTR(sc, event_tq, cpu));
VMBUS_PCPU_PTR(sc, event_tq, cpu), 1, PI_NET,
VMBUS_PCPU_PTR(sc, event_tq, cpu), 1, PI_NET,
VMBUS_PCPU_PTR(sc, message_tq, cpu));
VMBUS_PCPU_PTR(sc, message_tq, cpu), 1, PI_NET, &cpu_mask,
TASK_INIT(VMBUS_PCPU_PTR(sc, message_task, cpu), 0,
flag_cnt_ptr = VMBUS_PCPU_PTR(sc, event_flags_cnt, chan->ch_cpuid);
VMBUS_PCPU_PTR(sc, message_task, cpu));