[src/trunk]: src/sys/arch/i386/include help lint.

[christos <christos%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/400a39252156
branches:  trunk
changeset: 793064:400a39252156
user:      christos <christos%NetBSD.org@localhost>
date:      Sat Jan 25 19:10:56 2014 +0000

description:
help lint.

diffstat:

 sys/arch/i386/include/npx.h |  8 +++++++-
 1 files changed, 7 insertions(+), 1 deletions(-)

diffs (31 lines):

diff -r d07a1b3e84e7 -r 400a39252156 sys/arch/i386/include/npx.h
--- a/sys/arch/i386/include/npx.h       Sat Jan 25 19:07:25 2014 +0000
+++ b/sys/arch/i386/include/npx.h       Sat Jan 25 19:10:56 2014 +0000
@@ -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 @@
        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 @@
        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 {