VIO_PAYLOAD_ELEMS
uint64_t resv2[VIO_PAYLOAD_ELEMS - 4]; /* padding */
uint64_t resv3[VIO_PAYLOAD_ELEMS - 1];
uint64_t resv[VIO_PAYLOAD_ELEMS - 1];
uint64_t resv[VIO_PAYLOAD_ELEMS];
uint64_t resv4[VIO_PAYLOAD_ELEMS - 4];
uint64_t data[VIO_PAYLOAD_ELEMS - 1];