/* Generated by `./lib9p/idl.gen lib9p/idl/01-9P2000.9p lib9p/idl/02-9P2000.e.9p lib9p/idl/02-9P2000.u.9p`.  DO NOT EDIT!  */

#include <assert.h>
#include <stdbool.h>
#include <stddef.h>   /* for size_t */
#include <inttypes.h> /* for PRI* macros */
#include <string.h>   /* for memset() */

#include <lib9p/9p.h>

#include "internal.h"

/* strings ********************************************************************/

static const char *version_strs[LIB9P_VER_NUM] = {
	[LIB9P_VER_unknown] = "unknown",
#if defined(CONFIG_9P_ENABLE_9P2000)
	[LIB9P_VER_9P2000] = "9P2000",
#endif /* defined(CONFIG_9P_ENABLE_9P2000) */
#if defined(CONFIG_9P_ENABLE_9P2000_e)
	[LIB9P_VER_9P2000_e] = "9P2000.e",
#endif /* defined(CONFIG_9P_ENABLE_9P2000_e) */
#if defined(CONFIG_9P_ENABLE_9P2000_u)
	[LIB9P_VER_9P2000_u] = "9P2000.u",
#endif /* defined(CONFIG_9P_ENABLE_9P2000_u) */
};

const char *lib9p_version_str(enum lib9p_version ver) {
    assert(0 <= ver && ver < LIB9P_VER_NUM);
    return version_strs[ver];
}

static const char *msg_type_strs[0x100] = {
	[0x00] = "0x00",
	[0x01] = "0x01",
	[0x02] = "0x02",
	[0x03] = "0x03",
	[0x04] = "0x04",
	[0x05] = "0x05",
	[0x06] = "0x06",
	[0x07] = "0x07",
	[0x08] = "0x08",
	[0x09] = "0x09",
	[0x0A] = "0x0A",
	[0x0B] = "0x0B",
	[0x0C] = "0x0C",
	[0x0D] = "0x0D",
	[0x0E] = "0x0E",
	[0x0F] = "0x0F",
	[0x10] = "0x10",
	[0x11] = "0x11",
	[0x12] = "0x12",
	[0x13] = "0x13",
	[0x14] = "0x14",
	[0x15] = "0x15",
	[0x16] = "0x16",
	[0x17] = "0x17",
	[0x18] = "0x18",
	[0x19] = "0x19",
	[0x1A] = "0x1A",
	[0x1B] = "0x1B",
	[0x1C] = "0x1C",
	[0x1D] = "0x1D",
	[0x1E] = "0x1E",
	[0x1F] = "0x1F",
	[0x20] = "0x20",
	[0x21] = "0x21",
	[0x22] = "0x22",
	[0x23] = "0x23",
	[0x24] = "0x24",
	[0x25] = "0x25",
	[0x26] = "0x26",
	[0x27] = "0x27",
	[0x28] = "0x28",
	[0x29] = "0x29",
	[0x2A] = "0x2A",
	[0x2B] = "0x2B",
	[0x2C] = "0x2C",
	[0x2D] = "0x2D",
	[0x2E] = "0x2E",
	[0x2F] = "0x2F",
	[0x30] = "0x30",
	[0x31] = "0x31",
	[0x32] = "0x32",
	[0x33] = "0x33",
	[0x34] = "0x34",
	[0x35] = "0x35",
	[0x36] = "0x36",
	[0x37] = "0x37",
	[0x38] = "0x38",
	[0x39] = "0x39",
	[0x3A] = "0x3A",
	[0x3B] = "0x3B",
	[0x3C] = "0x3C",
	[0x3D] = "0x3D",
	[0x3E] = "0x3E",
	[0x3F] = "0x3F",
	[0x40] = "0x40",
	[0x41] = "0x41",
	[0x42] = "0x42",
	[0x43] = "0x43",
	[0x44] = "0x44",
	[0x45] = "0x45",
	[0x46] = "0x46",
	[0x47] = "0x47",
	[0x48] = "0x48",
	[0x49] = "0x49",
	[0x4A] = "0x4A",
	[0x4B] = "0x4B",
	[0x4C] = "0x4C",
	[0x4D] = "0x4D",
	[0x4E] = "0x4E",
	[0x4F] = "0x4F",
	[0x50] = "0x50",
	[0x51] = "0x51",
	[0x52] = "0x52",
	[0x53] = "0x53",
	[0x54] = "0x54",
	[0x55] = "0x55",
	[0x56] = "0x56",
	[0x57] = "0x57",
	[0x58] = "0x58",
	[0x59] = "0x59",
	[0x5A] = "0x5A",
	[0x5B] = "0x5B",
	[0x5C] = "0x5C",
	[0x5D] = "0x5D",
	[0x5E] = "0x5E",
	[0x5F] = "0x5F",
	[0x60] = "0x60",
	[0x61] = "0x61",
	[0x62] = "0x62",
	[0x63] = "0x63",
	[0x64] = "Tversion",
	[0x65] = "Rversion",
	[0x66] = "Tauth",
	[0x67] = "Rauth",
	[0x68] = "Tattach",
	[0x69] = "Rattach",
	[0x6A] = "0x6A",
	[0x6B] = "Rerror",
	[0x6C] = "Tflush",
	[0x6D] = "Rflush",
	[0x6E] = "Twalk",
	[0x6F] = "Rwalk",
	[0x70] = "Topen",
	[0x71] = "Ropen",
	[0x72] = "Tcreate",
	[0x73] = "Rcreate",
	[0x74] = "Tread",
	[0x75] = "Rread",
	[0x76] = "Twrite",
	[0x77] = "Rwrite",
	[0x78] = "Tclunk",
	[0x79] = "Rclunk",
	[0x7A] = "Tremove",
	[0x7B] = "Rremove",
	[0x7C] = "Tstat",
	[0x7D] = "Rstat",
	[0x7E] = "Twstat",
	[0x7F] = "Rwstat",
	[0x80] = "0x80",
	[0x81] = "0x81",
	[0x82] = "0x82",
	[0x83] = "0x83",
	[0x84] = "0x84",
	[0x85] = "0x85",
	[0x86] = "0x86",
	[0x87] = "0x87",
	[0x88] = "0x88",
	[0x89] = "0x89",
	[0x8A] = "0x8A",
	[0x8B] = "0x8B",
	[0x8C] = "0x8C",
	[0x8D] = "0x8D",
	[0x8E] = "0x8E",
	[0x8F] = "0x8F",
	[0x90] = "0x90",
	[0x91] = "0x91",
	[0x92] = "0x92",
	[0x93] = "0x93",
	[0x94] = "0x94",
	[0x95] = "0x95",
	[0x96] = "Tsession",
	[0x97] = "Rsession",
	[0x98] = "Tsread",
	[0x99] = "Rsread",
	[0x9A] = "Tswrite",
	[0x9B] = "Rswrite",
	[0x9C] = "0x9C",
	[0x9D] = "0x9D",
	[0x9E] = "0x9E",
	[0x9F] = "0x9F",
	[0xA0] = "0xA0",
	[0xA1] = "0xA1",
	[0xA2] = "0xA2",
	[0xA3] = "0xA3",
	[0xA4] = "0xA4",
	[0xA5] = "0xA5",
	[0xA6] = "0xA6",
	[0xA7] = "0xA7",
	[0xA8] = "0xA8",
	[0xA9] = "0xA9",
	[0xAA] = "0xAA",
	[0xAB] = "0xAB",
	[0xAC] = "0xAC",
	[0xAD] = "0xAD",
	[0xAE] = "0xAE",
	[0xAF] = "0xAF",
	[0xB0] = "0xB0",
	[0xB1] = "0xB1",
	[0xB2] = "0xB2",
	[0xB3] = "0xB3",
	[0xB4] = "0xB4",
	[0xB5] = "0xB5",
	[0xB6] = "0xB6",
	[0xB7] = "0xB7",
	[0xB8] = "0xB8",
	[0xB9] = "0xB9",
	[0xBA] = "0xBA",
	[0xBB] = "0xBB",
	[0xBC] = "0xBC",
	[0xBD] = "0xBD",
	[0xBE] = "0xBE",
	[0xBF] = "0xBF",
	[0xC0] = "0xC0",
	[0xC1] = "0xC1",
	[0xC2] = "0xC2",
	[0xC3] = "0xC3",
	[0xC4] = "0xC4",
	[0xC5] = "0xC5",
	[0xC6] = "0xC6",
	[0xC7] = "0xC7",
	[0xC8] = "0xC8",
	[0xC9] = "0xC9",
	[0xCA] = "0xCA",
	[0xCB] = "0xCB",
	[0xCC] = "0xCC",
	[0xCD] = "0xCD",
	[0xCE] = "0xCE",
	[0xCF] = "0xCF",
	[0xD0] = "0xD0",
	[0xD1] = "0xD1",
	[0xD2] = "0xD2",
	[0xD3] = "0xD3",
	[0xD4] = "0xD4",
	[0xD5] = "0xD5",
	[0xD6] = "0xD6",
	[0xD7] = "0xD7",
	[0xD8] = "0xD8",
	[0xD9] = "0xD9",
	[0xDA] = "0xDA",
	[0xDB] = "0xDB",
	[0xDC] = "0xDC",
	[0xDD] = "0xDD",
	[0xDE] = "0xDE",
	[0xDF] = "0xDF",
	[0xE0] = "0xE0",
	[0xE1] = "0xE1",
	[0xE2] = "0xE2",
	[0xE3] = "0xE3",
	[0xE4] = "0xE4",
	[0xE5] = "0xE5",
	[0xE6] = "0xE6",
	[0xE7] = "0xE7",
	[0xE8] = "0xE8",
	[0xE9] = "0xE9",
	[0xEA] = "0xEA",
	[0xEB] = "0xEB",
	[0xEC] = "0xEC",
	[0xED] = "0xED",
	[0xEE] = "0xEE",
	[0xEF] = "0xEF",
	[0xF0] = "0xF0",
	[0xF1] = "0xF1",
	[0xF2] = "0xF2",
	[0xF3] = "0xF3",
	[0xF4] = "0xF4",
	[0xF5] = "0xF5",
	[0xF6] = "0xF6",
	[0xF7] = "0xF7",
	[0xF8] = "0xF8",
	[0xF9] = "0xF9",
	[0xFA] = "0xFA",
	[0xFB] = "0xFB",
	[0xFC] = "0xFC",
	[0xFD] = "0xFD",
	[0xFE] = "0xFE",
	[0xFF] = "0xFF",
};

const char *lib9p_msg_type_str(enum lib9p_msg_type typ) {
    assert(0 <= typ && typ <= 0xFF);
    return msg_type_strs[typ];
}

/* validate_* *****************************************************************/

static ALWAYS_INLINE bool _validate_size_net(struct _validate_ctx *ctx, uint32_t n) {
	if (__builtin_add_overflow(ctx->net_offset, n, &ctx->net_offset))
		/* If needed-net-size overflowed uint32_t, then
		 * there's no way that actual-net-size will live up to
		 * that.  */
		return lib9p_error(ctx->ctx, LINUX_EBADMSG, "message is too short for content");
	if (ctx->net_offset > ctx->net_size)
		return lib9p_error(ctx->ctx, LINUX_EBADMSG, "message is too short for content");
	return false;
}

static ALWAYS_INLINE bool _validate_size_host(struct _validate_ctx *ctx, size_t n) {
	if (__builtin_add_overflow(ctx->host_extra, n, &ctx->host_extra))
		/* If needed-host-size overflowed size_t, then there's
		 * no way that actual-net-size will live up to
		 * that.  */
		return lib9p_error(ctx->ctx, LINUX_EBADMSG, "message is too short for content");
	return false;
}

static ALWAYS_INLINE bool _validate_list(struct _validate_ctx *ctx,
                                         size_t cnt,
                                         _validate_fn_t item_fn, size_t item_host_size) {
	for (size_t i = 0; i < cnt; i++)
		if (_validate_size_host(ctx, item_host_size) || item_fn(ctx))
			return true;
	return false;
}

#define validate_1(ctx) _validate_size_net(ctx, 1)
#define validate_2(ctx) _validate_size_net(ctx, 2)
#define validate_4(ctx) _validate_size_net(ctx, 4)
#define validate_8(ctx) _validate_size_net(ctx, 8)

#if defined(CONFIG_9P_ENABLE_9P2000) || defined(CONFIG_9P_ENABLE_9P2000_e) || defined(CONFIG_9P_ENABLE_9P2000_u)
static ALWAYS_INLINE bool validate_tag(struct _validate_ctx *ctx) {
	return validate_2(ctx);
}

static ALWAYS_INLINE bool validate_fid(struct _validate_ctx *ctx) {
	return validate_4(ctx);
}

static ALWAYS_INLINE bool validate_d(struct _validate_ctx *ctx) {
	uint32_t base_offset = ctx->net_offset;
	if (validate_4(ctx))
		return true;
	uint32_t len = decode_u32le(&ctx->net_bytes[base_offset]);
	return _validate_size_net(ctx, len) || _validate_size_host(ctx, len);
}

static ALWAYS_INLINE bool validate_s(struct _validate_ctx *ctx) {
	uint32_t base_offset = ctx->net_offset;
	if (validate_2(ctx))
		return true;
	uint16_t len = decode_u16le(&ctx->net_bytes[base_offset]);
	if (_validate_size_net(ctx, len) || _validate_size_host(ctx, ((size_t)len)+1))
		return true;
	if (!is_valid_utf8_without_nul(&ctx->net_bytes[base_offset+2], len))
		return lib9p_error(ctx->ctx, LINUX_EBADMSG, "message contains invalid UTF-8");
	return false;
}

static ALWAYS_INLINE bool validate_dm(struct _validate_ctx *ctx) {
	 if (validate_4(ctx))
		return true;
	static const lib9p_dm_t masks[LIB9P_VER_NUM] = {
#if defined(CONFIG_9P_ENABLE_9P2000)
		[LIB9P_VER_9P2000]   = 0b11101100000000000000000111111111,
#endif /* defined(CONFIG_9P_ENABLE_9P2000) */
#if defined(CONFIG_9P_ENABLE_9P2000_e)
		[LIB9P_VER_9P2000_e] = 0b11101100000000000000000111111111,
#endif /* defined(CONFIG_9P_ENABLE_9P2000_e) */
#if defined(CONFIG_9P_ENABLE_9P2000_u)
		[LIB9P_VER_9P2000_u] = 0b11101100101111000000000111111111,
#endif /* defined(CONFIG_9P_ENABLE_9P2000_u) */
	};
	lib9p_dm_t mask = masks[ctx->ctx->version];
	lib9p_dm_t val = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]);
	if (val & ~mask)
		return lib9p_errorf(ctx->ctx,
		                    LINUX_EBADMSG, "unknown bits in dm bitfield: %#04"PRIx32,
		                    val & ~mask);
	return false;
}

static ALWAYS_INLINE bool validate_qt(struct _validate_ctx *ctx) {
	 if (validate_1(ctx))
		return true;
	static const lib9p_qt_t masks[LIB9P_VER_NUM] = {
#if defined(CONFIG_9P_ENABLE_9P2000)
		[LIB9P_VER_9P2000]   = 0b11101100,
#endif /* defined(CONFIG_9P_ENABLE_9P2000) */
#if defined(CONFIG_9P_ENABLE_9P2000_e)
		[LIB9P_VER_9P2000_e] = 0b11101100,
#endif /* defined(CONFIG_9P_ENABLE_9P2000_e) */
#if defined(CONFIG_9P_ENABLE_9P2000_u)
		[LIB9P_VER_9P2000_u] = 0b11101110,
#endif /* defined(CONFIG_9P_ENABLE_9P2000_u) */
	};
	lib9p_qt_t mask = masks[ctx->ctx->version];
	lib9p_qt_t val = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]);
	if (val & ~mask)
		return lib9p_errorf(ctx->ctx,
		                    LINUX_EBADMSG, "unknown bits in qt bitfield: %#01"PRIx8,
		                    val & ~mask);
	return false;
}

static ALWAYS_INLINE bool validate_qid(struct _validate_ctx *ctx) {
	return false
	    || validate_qt(ctx)
	    || validate_4(ctx)
	    || validate_8(ctx)
	    ;
}

static ALWAYS_INLINE bool validate_stat(struct _validate_ctx *ctx) {
	uint16_t stat_size;
	uint32_t _kern_type_offset;
	return false
	    || (validate_2(ctx) || ({ stat_size = decode_u16le(&ctx->net_bytes[ctx->net_offset-2]); false; }))
	    || ({ _kern_type_offset = ctx->net_offset; validate_2(ctx); })
	    || validate_4(ctx)
	    || validate_qid(ctx)
	    || validate_dm(ctx)
	    || validate_4(ctx)
	    || validate_4(ctx)
	    || validate_8(ctx)
	    || validate_s(ctx)
	    || validate_s(ctx)
	    || validate_s(ctx)
	    || validate_s(ctx)
#if defined(CONFIG_9P_ENABLE_9P2000_u)
	    || ( (ctx->ctx->version==LIB9P_VER_9P2000_u) && validate_s(ctx) )
	    || ( (ctx->ctx->version==LIB9P_VER_9P2000_u) && validate_4(ctx) )
	    || ( (ctx->ctx->version==LIB9P_VER_9P2000_u) && validate_4(ctx) )
	    || ( (ctx->ctx->version==LIB9P_VER_9P2000_u) && validate_4(ctx) )
#endif /* defined(CONFIG_9P_ENABLE_9P2000_u) */

	    || ({ uint32_t exp = ctx->net_offset - _kern_type_offset; (((uint32_t)stat_size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "stat_size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)stat_size, exp); })
	    ;
}

static ALWAYS_INLINE bool validate_o(struct _validate_ctx *ctx) {
	 if (validate_1(ctx))
		return true;
	static const lib9p_o_t masks[LIB9P_VER_NUM] = {
#if defined(CONFIG_9P_ENABLE_9P2000)
		[LIB9P_VER_9P2000]   = 0b01010011,
#endif /* defined(CONFIG_9P_ENABLE_9P2000) */
#if defined(CONFIG_9P_ENABLE_9P2000_e)
		[LIB9P_VER_9P2000_e] = 0b01010011,
#endif /* defined(CONFIG_9P_ENABLE_9P2000_e) */
#if defined(CONFIG_9P_ENABLE_9P2000_u)
		[LIB9P_VER_9P2000_u] = 0b01010011,
#endif /* defined(CONFIG_9P_ENABLE_9P2000_u) */
	};
	lib9p_o_t mask = masks[ctx->ctx->version];
	lib9p_o_t val = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]);
	if (val & ~mask)
		return lib9p_errorf(ctx->ctx,
		                    LINUX_EBADMSG, "unknown bits in o bitfield: %#01"PRIx8,
		                    val & ~mask);
	return false;
}

static FLATTEN bool validate_Tversion(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_4(ctx)
	    || validate_s(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 100; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rversion(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_4(ctx)
	    || validate_s(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 101; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Tauth(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_fid(ctx)
	    || validate_s(ctx)
	    || validate_s(ctx)
#if defined(CONFIG_9P_ENABLE_9P2000_u)
	    || ( (ctx->ctx->version==LIB9P_VER_9P2000_u) && validate_4(ctx) )
#endif /* defined(CONFIG_9P_ENABLE_9P2000_u) */

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 102; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rauth(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_qid(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 103; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Tattach(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_fid(ctx)
	    || validate_fid(ctx)
	    || validate_s(ctx)
	    || validate_s(ctx)
#if defined(CONFIG_9P_ENABLE_9P2000_u)
	    || ( (ctx->ctx->version==LIB9P_VER_9P2000_u) && validate_4(ctx) )
#endif /* defined(CONFIG_9P_ENABLE_9P2000_u) */

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 104; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rattach(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_qid(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 105; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rerror(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_s(ctx)
#if defined(CONFIG_9P_ENABLE_9P2000_u)
	    || ( (ctx->ctx->version==LIB9P_VER_9P2000_u) && validate_4(ctx) )
#endif /* defined(CONFIG_9P_ENABLE_9P2000_u) */

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 107; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Tflush(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_2(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 108; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rflush(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 109; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Twalk(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint16_t nwname;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_fid(ctx)
	    || validate_fid(ctx)
	    || (validate_2(ctx) || ({ nwname = decode_u16le(&ctx->net_bytes[ctx->net_offset-2]); false; }))
	    || _validate_list(ctx, decode_u16le(&ctx->net_bytes[ctx->net_offset-2]), validate_s, sizeof(struct lib9p_s))

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 110; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })

	    || ({ uint32_t max = 16; (((uint32_t)nwname) > max) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "nwname value too large (%"PRIu32" > %"PRIu32")", nwname, max); })
	    ;
}

static FLATTEN bool validate_Rwalk(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint16_t nwqid;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || (validate_2(ctx) || ({ nwqid = decode_u16le(&ctx->net_bytes[ctx->net_offset-2]); false; }))
	    || _validate_list(ctx, decode_u16le(&ctx->net_bytes[ctx->net_offset-2]), validate_qid, sizeof(struct lib9p_qid))

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 111; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })

	    || ({ uint32_t max = 16; (((uint32_t)nwqid) > max) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "nwqid value too large (%"PRIu32" > %"PRIu32")", nwqid, max); })
	    ;
}

static FLATTEN bool validate_Topen(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_fid(ctx)
	    || validate_o(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 112; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Ropen(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_qid(ctx)
	    || validate_4(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 113; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Tcreate(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_fid(ctx)
	    || validate_s(ctx)
	    || validate_dm(ctx)
	    || validate_o(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 114; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rcreate(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_qid(ctx)
	    || validate_4(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 115; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Tread(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_fid(ctx)
	    || validate_8(ctx)
	    || validate_4(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 116; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rread(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_d(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 117; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Twrite(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_fid(ctx)
	    || validate_8(ctx)
	    || validate_d(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 118; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rwrite(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_4(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 119; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Tclunk(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_fid(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 120; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rclunk(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 121; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Tremove(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_fid(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 122; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rremove(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 123; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Tstat(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_fid(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 124; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rstat(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint16_t nstat;
	uint32_t _size_offset;
	uint32_t _stat_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || (validate_2(ctx) || ({ nstat = decode_u16le(&ctx->net_bytes[ctx->net_offset-2]); false; }))
	    || ({ _stat_offset = ctx->net_offset; validate_stat(ctx); })

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 125; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })

	    || ({ uint32_t exp = ctx->net_offset - _stat_offset; (((uint32_t)nstat) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "nstat value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)nstat, exp); })
	    ;
}

static FLATTEN bool validate_Twstat(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint16_t nstat;
	uint32_t _size_offset;
	uint32_t _stat_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_fid(ctx)
	    || (validate_2(ctx) || ({ nstat = decode_u16le(&ctx->net_bytes[ctx->net_offset-2]); false; }))
	    || ({ _stat_offset = ctx->net_offset; validate_stat(ctx); })

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 126; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })

	    || ({ uint32_t exp = ctx->net_offset - _stat_offset; (((uint32_t)nstat) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "nstat value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)nstat, exp); })
	    ;
}

static FLATTEN bool validate_Rwstat(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 127; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

#endif /* defined(CONFIG_9P_ENABLE_9P2000) || defined(CONFIG_9P_ENABLE_9P2000_e) || defined(CONFIG_9P_ENABLE_9P2000_u) */
#if defined(CONFIG_9P_ENABLE_9P2000_e)
static FLATTEN bool validate_Tsession(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_8(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 150; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rsession(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 151; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Tsread(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_4(ctx)
	    || validate_2(ctx)
	    || _validate_list(ctx, decode_u16le(&ctx->net_bytes[ctx->net_offset-2]), validate_s, sizeof(struct lib9p_s))

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 152; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rsread(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_d(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 153; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Tswrite(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_4(ctx)
	    || validate_2(ctx)
	    || _validate_list(ctx, decode_u16le(&ctx->net_bytes[ctx->net_offset-2]), validate_s, sizeof(struct lib9p_s))
	    || validate_d(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 154; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}

static FLATTEN bool validate_Rswrite(struct _validate_ctx *ctx) {
	uint32_t size;
	uint8_t typ;
	uint32_t _size_offset;
	return false
	    || (({ _size_offset = ctx->net_offset; validate_4(ctx); }) || ({ size = decode_u32le(&ctx->net_bytes[ctx->net_offset-4]); false; }))
	    || (validate_1(ctx) || ({ typ = decode_u8le(&ctx->net_bytes[ctx->net_offset-1]); false; }))
	    || validate_tag(ctx)
	    || validate_4(ctx)

	    || ({ uint32_t exp = ctx->net_offset - _size_offset; (((uint32_t)size) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "size value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)size, exp); })

	    || ({ uint32_t exp = 155; (((uint32_t)typ) != exp) &&

	           lib9p_errorf(ctx->ctx, LINUX_EBADMSG, "typ value wrong (actual:%"PRIu32" != correct:%"PRIu32")", (uint32_t)typ, exp); })
	    ;
}
#endif /* defined(CONFIG_9P_ENABLE_9P2000_e) */