x86/kernel/tracepoint.c

0001 // SPDX-License-Identifier: GPL-2.0
0002 /*
0003  * Copyright (C) 2013 Seiji Aguchi <seiji.aguchi@hds.com>
0004  */
0005 #include <linux/jump_label.h>
0006 #include <linux/atomic.h>
0007
0008 #include <asm/trace/exceptions.h>
0009
0010 DEFINE_STATIC_KEY_FALSE(trace_pagefault_key);
0011
0012 int trace_pagefault_reg(void)
0013 {
0014     static_branch_inc(&trace_pagefault_key);
0015     return 0;
0016 }
0017
0018 void trace_pagefault_unreg(void)
0019 {
0020     static_branch_dec(&trace_pagefault_key);
0021 }