MASK_LOCKED_HI    651 arch/x86/kernel/cpu/mce/amd.c 			     (high & MASK_LOCKED_HI))
MASK_LOCKED_HI   1224 arch/x86/kernel/cpu/mce/amd.c 	     (high & MASK_LOCKED_HI))