X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fpacked.h;fp=src%2Flib%2Fpacked.h;h=9a9b6e23e96b66ab2a1a6538207a87e806cd46b9;hb=8fc9be2744dbe24bf5676a0502b36d5afe3b9ebb;hp=0000000000000000000000000000000000000000;hpb=4ae5b30e5eb0be98521235060001c2d6d9828345;p=pintos-anon

diff --git a/src/lib/packed.h b/src/lib/packed.h
new file mode 100644
index 0000000..9a9b6e2
--- /dev/null
+++ b/src/lib/packed.h
@@ -0,0 +1,10 @@
+#ifndef __LIB_PACKED_H
+#define __LIB_PACKED_H
+
+/* The "packed" attribute, when applied to a structure, prevents
+   GCC from inserting padding bytes between or after structure
+   members.  It must be specified at the time of the structure's
+   definition, normally just after the closing brace. */
+#define PACKED __attribute__ ((packed))
+
+#endif /* lib/packed.h */