virtio_dev_put8
virtio_dev_put8(vif->vif_virtio, VIRTIO_NET_CONFIG_MAC + i,
void virtio_dev_put8(virtio_t *, uintptr_t, uint8_t);