vlapic_mmio_write
int vlapic_mmio_write(struct vlapic *, uint64_t, uint64_t, uint_t);
err = vlapic_mmio_write(vlapic, gpa, wval, wsize);