]>
Commit | Line | Data |
---|---|---|
b2441318 | 1 | // SPDX-License-Identifier: GPL-2.0 |
cf910e83 SA |
2 | /* |
3 | * Code for supporting irq vector tracepoints. | |
4 | * | |
5 | * Copyright (C) 2013 Seiji Aguchi <seiji.aguchi@hds.com> | |
6 | * | |
7 | */ | |
2feb1b31 TG |
8 | #include <linux/jump_label.h> |
9 | #include <linux/atomic.h> | |
10 | ||
cf910e83 SA |
11 | #include <asm/hw_irq.h> |
12 | #include <asm/desc.h> | |
cf910e83 | 13 | |
80954747 | 14 | DEFINE_STATIC_KEY_FALSE(trace_pagefault_key); |
cf910e83 | 15 | |
80954747 | 16 | int trace_pagefault_reg(void) |
cf910e83 | 17 | { |
80954747 | 18 | static_branch_inc(&trace_pagefault_key); |
8cf868af | 19 | return 0; |
cf910e83 SA |
20 | } |
21 | ||
80954747 | 22 | void trace_pagefault_unreg(void) |
cf910e83 | 23 | { |
80954747 | 24 | static_branch_dec(&trace_pagefault_key); |
cf910e83 | 25 | } |
80954747 TG |
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 |