From 9d176643c3832770932167d86e23e9edb9bc7374 Mon Sep 17 00:00:00 2001
From: Bill Zissimopoulos <billziss@navimatics.com>
Date: Tue, 8 Nov 2016 12:50:57 -0800
Subject: [PATCH] sys: driver.h: add static assert for size of
 FSP_FSCTL_TRANSACT_REQ_HEADER

---
 src/sys/driver.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/sys/driver.h b/src/sys/driver.h
index 220d5ccb..3851c3e8 100644
--- a/src/sys/driver.h
+++ b/src/sys/driver.h
@@ -706,6 +706,9 @@ typedef struct
     FSP_FSCTL_TRANSACT_RSP *Response;
     __declspec(align(REQ_ALIGN_SIZE)) UINT8 RequestBuf[];
 } FSP_FSCTL_TRANSACT_REQ_HEADER;
+FSP_FSCTL_STATIC_ASSERT(sizeof(FSP_FSCTL_TRANSACT_REQ_HEADER) <= 64,
+    "sizeof(FSP_FSCTL_TRANSACT_REQ_HEADER) assumed less or equal to 64; "
+    "see FSP_FSCTL_TRANSACT_REQ_SIZEMAX");
 static inline
 PVOID *FspIopRequestContextAddress(FSP_FSCTL_TRANSACT_REQ *Request, ULONG I)
 {