|
@@ -8,6 +8,7 @@
|
|
|
#include <linux/delay.h>
|
|
|
#include <linux/sched.h>
|
|
|
#include <linux/init.h>
|
|
|
+#include <linux/kprobes.h>
|
|
|
#include <linux/kgdb.h>
|
|
|
#include <linux/smp.h>
|
|
|
#include <linux/io.h>
|
|
@@ -1160,6 +1161,7 @@ int is_debug_stack(unsigned long addr)
|
|
|
(addr <= __get_cpu_var(debug_stack_addr) &&
|
|
|
addr > (__get_cpu_var(debug_stack_addr) - DEBUG_STKSZ));
|
|
|
}
|
|
|
+NOKPROBE_SYMBOL(is_debug_stack);
|
|
|
|
|
|
DEFINE_PER_CPU(u32, debug_idt_ctr);
|
|
|
|
|
@@ -1168,6 +1170,7 @@ void debug_stack_set_zero(void)
|
|
|
this_cpu_inc(debug_idt_ctr);
|
|
|
load_current_idt();
|
|
|
}
|
|
|
+NOKPROBE_SYMBOL(debug_stack_set_zero);
|
|
|
|
|
|
void debug_stack_reset(void)
|
|
|
{
|
|
@@ -1176,6 +1179,7 @@ void debug_stack_reset(void)
|
|
|
if (this_cpu_dec_return(debug_idt_ctr) == 0)
|
|
|
load_current_idt();
|
|
|
}
|
|
|
+NOKPROBE_SYMBOL(debug_stack_reset);
|
|
|
|
|
|
#else /* CONFIG_X86_64 */
|
|
|
|