1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * Code for supporting irq vector tracepoints.
4  *
5  * Copyright (C) 2013 Seiji Aguchi <seiji.aguchi@hds.com>
6  *
7  */
8 #include <linux/jump_label.h>
9 #include <linux/atomic.h>
10 
11 #include <asm/hw_irq.h>
12 #include <asm/desc.h>
13 #include <asm/trace/exceptions.h>
14 #include <asm/trace/irq_vectors.h>
15 
16 DEFINE_STATIC_KEY_FALSE(trace_pagefault_key);
17 
trace_pagefault_reg(void)18 int trace_pagefault_reg(void)
19 {
20 	static_branch_inc(&trace_pagefault_key);
21 	return 0;
22 }
23 
trace_pagefault_unreg(void)24 void trace_pagefault_unreg(void)
25 {
26 	static_branch_dec(&trace_pagefault_key);
27 }
28