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