MSR_64BIT
#define MSR_KERNEL (MSR_ | MSR_64BIT)
#define MSR_USER64 (MSR_USER32 | MSR_64BIT)
#ifndef MSR_64BIT
#define MSR_KERNEL (MSR_ | MSR_64BIT)
#define MSR_USER64 (MSR_USER32 | MSR_64BIT)
if (!(regs->msr & MSR_64BIT))
printk_ratelimited(regs->msr & MSR_64BIT ? fm64 : fm32, tsk->comm,
if ((regs->msr & MSR_64BIT) == 0)
if (!(regs->msr & MSR_64BIT))
if ((msr & MSR_64BIT) == 0)
if ((regs->msr & (MSR_64BIT|MSR_PR|MSR_IR)) == (MSR_64BIT|MSR_IR)) {
if ((regs->msr & (MSR_IR|MSR_PR|MSR_64BIT)) == (MSR_IR|MSR_64BIT))
if ((regs->msr & (MSR_IR|MSR_PR|MSR_64BIT)) == (MSR_IR|MSR_64BIT)) {
if ((regs->msr & (MSR_IR|MSR_PR|MSR_64BIT)) != (MSR_IR|MSR_64BIT))
if ((regs->msr & (MSR_IR|MSR_PR|MSR_64BIT)) != (MSR_IR|MSR_64BIT))
if ((regs->msr & (MSR_IR|MSR_PR|MSR_64BIT)) != (MSR_IR|MSR_64BIT))
if ((regs->msr & (MSR_IR|MSR_PR|MSR_64BIT)) == (MSR_IR|MSR_64BIT)) {