diff options
author | Jeremy Fitzhardinge <jeremy@goop.org> | 2008-06-25 00:19:14 -0400 |
---|---|---|
committer | Ingo Molnar <mingo@elte.hu> | 2008-07-08 07:11:03 -0400 |
commit | 97349135fea7f0ba8464534433df3bfd1dc0e9a6 (patch) | |
tree | 7eb615f8c4b83a8327da92b96d95a44f8f54f101 /arch/x86/Kconfig | |
parent | d8d5900ef8afc562088f8470feeaf17c4747790f (diff) |
x86/paravirt: add debugging for missing operations
Rather than just jumping to 0 when there's a missing operation, raise a BUG.
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Cc: xen-devel <xen-devel@lists.xensource.com>
Cc: Stephen Tweedie <sct@redhat.com>
Cc: Eduardo Habkost <ehabkost@redhat.com>
Cc: Mark McLoughlin <markmc@redhat.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'arch/x86/Kconfig')
-rw-r--r-- | arch/x86/Kconfig | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig index 9441e46cb49b..67e5275f03c8 100644 --- a/arch/x86/Kconfig +++ b/arch/x86/Kconfig | |||
@@ -435,6 +435,13 @@ config PARAVIRT_CLOCK | |||
435 | 435 | ||
436 | endif | 436 | endif |
437 | 437 | ||
438 | config PARAVIRT_DEBUG | ||
439 | bool "paravirt-ops debugging" | ||
440 | depends on PARAVIRT && DEBUG_KERNEL | ||
441 | help | ||
442 | Enable to debug paravirt_ops internals. Specifically, BUG if | ||
443 | a paravirt_op is missing when it is called. | ||
444 | |||
438 | config MEMTEST | 445 | config MEMTEST |
439 | bool "Memtest" | 446 | bool "Memtest" |
440 | depends on X86_64 | 447 | depends on X86_64 |