Fixes bug in event headers (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 15 Mar 2012 18:57:57 +0000 (11:57 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 15 Mar 2012 18:57:57 +0000 (11:57 -0700)
commit1c4142acdcffae76548aef88388f43a117139040
tree10eac546ff7e610faa1a97765f0be575550d3817
parent14f47b0f67c99077d00d4d1a348eee1c63c2dfe1
Fixes bug in event headers (XCC)

Has been around since 16a868, haven't seen it hit yet, though it might
have been masking other bugs.
kern/include/ros/event.h