[PATCH] Fix x86_64/msr.h interface to agree with i386/msr.h