MASK_LOCKED_HI    148 arch/x86/kernel/cpu/mcheck/mce_amd_64.c 			     (high & MASK_LOCKED_HI))
MASK_LOCKED_HI    220 arch/x86/kernel/cpu/mcheck/mce_amd_64.c 			     (high & MASK_LOCKED_HI))
MASK_LOCKED_HI    413 arch/x86/kernel/cpu/mcheck/mce_amd_64.c 	     (high & MASK_LOCKED_HI))