1 // SPDX-License-Identifier: GPL-2.0
2 #include <linux/kernel.h>
3 #include <linux/module.h>
4 #include <linux/init.h>
5 #include <linux/rv.h>
6 
7 #define MODULE_NAME "sched"
8 
9 #include "sched.h"
10 
11 struct rv_monitor rv_sched;
12 
13 struct rv_monitor rv_sched = {
14 	.name = "sched",
15 	.description = "container for several scheduler monitor specifications.",
16 	.enable = NULL,
17 	.disable = NULL,
18 	.reset = NULL,
19 	.enabled = 0,
20 };
21 
register_sched(void)22 static int __init register_sched(void)
23 {
24 	return rv_register_monitor(&rv_sched, NULL);
25 }
26 
unregister_sched(void)27 static void __exit unregister_sched(void)
28 {
29 	rv_unregister_monitor(&rv_sched);
30 }
31 
32 module_init(register_sched);
33 module_exit(unregister_sched);
34 
35 MODULE_LICENSE("GPL");
36 MODULE_AUTHOR("Gabriele Monaco <gmonaco@redhat.com>");
37 MODULE_DESCRIPTION("sched: container for several scheduler monitor specifications.");
38