Commit | Line | Data |
---|---|---|
cc8e71c8 DBO |
1 | /* SPDX-License-Identifier: GPL-2.0 */ |
2 | /* | |
3 | * Copyright (C) 2019-2022 Red Hat, Inc. Daniel Bristot de Oliveira <bristot@kernel.org> | |
4 | * | |
5 | * Helper functions to facilitate the instrumentation of auto-generated | |
6 | * RV monitors create by dot2k. | |
7 | * | |
8 | * The dot2k tool is available at tools/verification/dot2/ | |
9 | */ | |
10 | ||
11 | #include <linux/ftrace.h> | |
12 | ||
13 | /* | |
14 | * rv_attach_trace_probe - check and attach a handler function to a tracepoint | |
15 | */ | |
16 | #define rv_attach_trace_probe(monitor, tp, rv_handler) \ | |
17 | do { \ | |
18 | check_trace_callback_type_##tp(rv_handler); \ | |
19 | WARN_ONCE(register_trace_##tp(rv_handler, NULL), \ | |
20 | "fail attaching " #monitor " " #tp "handler"); \ | |
21 | } while (0) | |
22 | ||
23 | /* | |
24 | * rv_detach_trace_probe - detach a handler function to a tracepoint | |
25 | */ | |
26 | #define rv_detach_trace_probe(monitor, tp, rv_handler) \ | |
27 | do { \ | |
28 | unregister_trace_##tp(rv_handler, NULL); \ | |
29 | } while (0) |