initial pintos checkin

1 files changed, 10 insertions, 0 deletions

diff --git a/pintos-progos/lib/packed.h b/pintos-progos/lib/packed.h
new file mode 100644
index 0000000..9a9b6e2
--- /dev/null
+++ b/pintos-progos/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 */