HN_RING_IDX2CPU
device_get_parent(dev), dev, HN_RING_IDX2CPU(sc, id));
vmbus_chan_cpu_set(chan, HN_RING_IDX2CPU(sc, idx));