Are these also accessed by userspace?  I'm guessing so, so they need to be __u32 as well, sorry about that.

Note, these volatile markings are wrong, and will need to be resolved at a later date.