Fix alignment in UCQ headers (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 27 Mar 2013 23:14:15 +0000 (16:14 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 27 Mar 2013 23:14:15 +0000 (16:14 -0700)
commitb743a6237fd5b70eea7376bcd9999ae157e0db42
tree23acdaae9ef5aaca78c0e70f40491cea5fc8b998
parent2644f11ae47b9f35847729f9f3ea06336de1e968
Fix alignment in UCQ headers (XCC)

The char[] wasn't aligned nicely for the spinlock.

Reinstall your kernel headers and rebuild userspace/tests.
kern/include/ros/ucq.h