vlapic_mmio_read
int vlapic_mmio_read(struct vlapic *, uint64_t, uint64_t *, uint_t);
err = vlapic_mmio_read(vlapic, gpa, rval, rsize);