the checking_wrmsrl() macro in asm-x86_64/msr.h which is exported to userspace 
utilizes the u32 type instead of __u32 ... trivial attached patch fixes that
-mike