Lines Matching refs:monitor

6 # dot2k: transform dot files into a monitor for the Linux kernel.
20     parser = argparse.ArgumentParser(description='Generate kernel rv monitor')
28     monitor_parser = subparsers.add_parser("monitor")
31                                 required=False, help="Create a monitor nested to parent")
45         if params.subcmd == "monitor":
48                 monitor = da2k(params.spec, params.monitor_type, vars(params))
50                 monitor = ha2k(params.spec, params.monitor_type, vars(params))
52                 monitor = ltl2k(params.spec, params.monitor_type, vars(params))
54                 print("Unknown monitor class:", params.monitor_class)
57             monitor = Container(vars(params))
62     print(f"Writing the monitor into the directory {monitor.name}")
63     monitor.print_files()
65     if params.subcmd == "monitor":
66         print(f"  - Edit the {monitor.name}/{monitor.name}.c to add the instrumentation")
67         print(monitor.fill_tracepoint_tooltip())
68     print(monitor.fill_makefile_tooltip())
69     print(monitor.fill_kconfig_tooltip())
70     print(monitor.fill_monitor_tooltip())