# HG changeset patch
# User diego
# Date 1177398390 0
# Node ID 03b6f31e7f4b65badeec90da6e678244d9b46c8d
# Parent  5afb41ff75890f72c709cb3795067f6f3574df4a
Move ebx_available and ebp_available from CONFIG_LIST to HAVE_LIST,
it's not configurable by the user.

diff -r 5afb41ff7589 -r 03b6f31e7f4b x86_cpu.h
--- a/x86_cpu.h	Fri Apr 20 23:45:53 2007 +0000
+++ b/x86_cpu.h	Tue Apr 24 07:06:30 2007 +0000
@@ -57,7 +57,7 @@
 #  define REGSP   esp
 #endif
 
-#if defined(ARCH_X86_64) || (defined(ARCH_X86_32) && defined(CONFIG_EBX_AVAILABLE) && defined(CONFIG_EBP_AVAILABLE))
+#if defined(ARCH_X86_64) || (defined(ARCH_X86_32) && defined(HAVE_EBX_AVAILABLE) && defined(HAVE_EBP_AVAILABLE))
 #  define CONFIG_7REGS 1
 #endif