|
@@ -18,6 +18,7 @@
|
|
|
#include <asm/pgtable.h>
|
|
|
#include <asm/tlbflush.h>
|
|
|
#include <asm/mmu_context.h>
|
|
|
+#include <asm/debugreg.h>
|
|
|
|
|
|
static int init_one_level2_page(struct kimage *image, pgd_t *pgd,
|
|
|
unsigned long addr)
|
|
@@ -282,6 +283,7 @@ void machine_kexec(struct kimage *image)
|
|
|
|
|
|
/* Interrupts aren't acceptable while we reboot */
|
|
|
local_irq_disable();
|
|
|
+ hw_breakpoint_disable();
|
|
|
|
|
|
if (image->preserve_context) {
|
|
|
#ifdef CONFIG_X86_IO_APIC
|