Ah yes, if these are accessed by userspace, they need to be __u32, sorry about that.