add new system file

hc

2024-02-20 102a0743326a03cd1a1202ceda21e175b7d3575c

 kernel/arch/x86/kernel/tracepoint.c
..
..
@@ -10,6 +10,8 @@
10
10
 
11
11
 #include <asm/hw_irq.h>
12
12
 #include <asm/desc.h>
13
+#include <asm/trace/exceptions.h>
14
+#include <asm/trace/irq_vectors.h>
13
15
 
14
16
 DEFINE_STATIC_KEY_FALSE(trace_pagefault_key);
15
17
 
..
..
@@ -23,20 +25,3 @@
23
25
 {
24
26
 	static_branch_dec(&trace_pagefault_key);
25
27
 }
26
-
27
-#ifdef CONFIG_SMP
28
-
29
-DEFINE_STATIC_KEY_FALSE(trace_resched_ipi_key);
30
-
31
-int trace_resched_ipi_reg(void)
32
-{
33
-	static_branch_inc(&trace_resched_ipi_key);
34
-	return 0;
35
-}
36
-
37
-void trace_resched_ipi_unreg(void)
38
-{
39
-	static_branch_dec(&trace_resched_ipi_key);
40
-}
41
-
42
-#endif