x86, mce: rename 64bit mce_dont_init to mce_disabled
authorAndi Kleen <ak@linux.intel.com>
Tue, 28 Apr 2009 20:50:19 +0000 (22:50 +0200)
committerH. Peter Anvin <hpa@zytor.com>
Thu, 28 May 2009 16:24:12 +0000 (09:24 -0700)
Give it the same name as on 32bit. This makes further merging easier.

Signed-off-by: Andi Kleen <ak@linux.intel.com>
Signed-off-by: H. Peter Anvin <hpa@zytor.com>
Signed-off-by: Hidetoshi Seto <seto.hidetoshi@jp.fujitsu.com>
Signed-off-by: H. Peter Anvin <hpa@zytor.com>

No differences found