XENSTORE_PAYLOAD_MAX
if (state.msg.len > XENSTORE_PAYLOAD_MAX) {
char buffer[XENSTORE_PAYLOAD_MAX];
if (len > XENSTORE_PAYLOAD_MAX)