Module Name: src
Committed By: christos
Date: Sat Jan 25 19:10:56 UTC 2014
Modified Files:
src/sys/arch/i386/include: npx.h
Log Message:
help lint.
To generate a diff of this commit:
cvs rdiff -u -r1.29 -r1.30 src/sys/arch/i386/include/npx.h
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/sys/arch/i386/include/npx.h
diff -u src/sys/arch/i386/include/npx.h:1.29 src/sys/arch/i386/include/npx.h:1.30
--- src/sys/arch/i386/include/npx.h:1.29 Sun Jan 19 18:27:30 2014
+++ src/sys/arch/i386/include/npx.h Sat Jan 25 14:10:56 2014
@@ -1,4 +1,4 @@
-/* $NetBSD: npx.h,v 1.29 2014/01/19 23:27:30 dsl Exp $ */
+/* $NetBSD: npx.h,v 1.30 2014/01/25 19:10:56 christos Exp $ */
/*-
* Copyright (c) 1990 The Regents of the University of California.
@@ -91,7 +91,10 @@ struct save87 {
uint8_t s87_pad[8 * 2 - 2 * 4]; /* bogus historical padding */
#endif
};
+#ifndef __lint__
+// Has different packing semantics, adding packed to save87 works
__CTASSERT(sizeof (struct save87) == 108 + 16);
+#endif
/* FPU regsters in the extended save format. */
struct fpaccxmm {
@@ -122,7 +125,10 @@ struct fxsave {
uint32_t sv_ex_sw; /* saved SW from last exception */
uint32_t sv_ex_tw; /* saved TW from last exception */
} __aligned(16);
+#ifndef __lint__
+// lint does not know aligned
__CTASSERT(sizeof (struct fxsave) == 512 + 16);
+#endif
union savefpu {
