virtio_write_ivar
void virtio_write_ivar(device_t dev, int ivar, uintptr_t val);
virtio_write_ivar(dev, ivar, (uintptr_t) val); \