check_msr
static bool check_msr(unsigned long msr, u64 mask)
static void check_msr(uint32_t msr, uint64_t bits_to_flip)