xref: /linux/tools/verification/dot2/dot2k_templates/main_container.c (revision 88221ac0d560700b50493aedc768f728aa585141)
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 "%%MODEL_NAME%%"
8 
9 #include "%%MODEL_NAME%%.h"
10 
11 struct rv_monitor rv_%%MODEL_NAME%%;
12 
13 struct rv_monitor rv_%%MODEL_NAME%% = {
14 	.name = "%%MODEL_NAME%%",
15 	.description = "%%DESCRIPTION%%",
16 	.enable = NULL,
17 	.disable = NULL,
18 	.reset = NULL,
19 	.enabled = 0,
20 };
21 
22 static int __init register_%%MODEL_NAME%%(void)
23 {
24 	rv_register_monitor(&rv_%%MODEL_NAME%%, NULL);
25 	return 0;
26 }
27 
28 static void __exit unregister_%%MODEL_NAME%%(void)
29 {
30 	rv_unregister_monitor(&rv_%%MODEL_NAME%%);
31 }
32 
33 module_init(register_%%MODEL_NAME%%);
34 module_exit(unregister_%%MODEL_NAME%%);
35 
36 MODULE_LICENSE("GPL");
37 MODULE_AUTHOR("dot2k: auto-generated");
38 MODULE_DESCRIPTION("%%MODEL_NAME%%: %%DESCRIPTION%%");
39