| /Linux-v6.6/Documentation/trace/rv/ |
| D | da_monitor_synthesis.rst | 1 Deterministic Automata Monitor Synthesis
8 The formal representation needs to be then *synthesized* into a *monitor*
10 *monitor* connects to the system via an *instrumentation* that converts
15 the *RV monitor* abstraction. The RV monitor includes a set of instances
16 of the monitor (per-cpu monitor, per-task monitor, and so on), the helper
17 functions that glue the monitor to the system reference model, and the
21 Linux +----- RV Monitor ----------------------------------+ Formal
24 | Linux kernel | | Monitor | | Reference |
39 DA monitor synthesis
42 The synthesis of automata-based models into the Linux *RV monitor* abstraction
[all …]
|
| D | runtime-verification.rst | 26 A monitor is the central part of the runtime verification of a system. The
27 monitor stands in between the formal specification of the desired (or
31 *RV monitor* abstraction. A *RV monitor* includes a reference model of the
32 system, a set of instances of the monitor (per-cpu monitor, per-task monitor,
33 and so on), and the helper functions that glue the monitor to the system via
36 Linux +---- RV Monitor ----------------------------------+ Formal
39 | Linux kernel | | Monitor | | Reference |
54 In addition to the verification and monitoring of the system, a monitor can
81 monitor process the traces generated by a system after the events, generally by
86 an *asynchronous* monitor has its execution detached from the system. Each type
[all …]
|
| D | da_monitor_instrumentation.rst | 4 The RV monitor file created by dot2k, with the name "$MODEL_NAME.c"
7 In the example of the wip.dot monitor created on [1], it will look like::
10 * This is the instrumentation part of the monitor.
82 might or might not be in the initial state. The monitor cannot start
84 Otherwise, the monitor and the system could be out-of-sync.
120 These functions are called when the monitor is enabled and disabled,
125 *attach* and *detach* its monitor to the system.
169 The wip monitor is presented in::
|
| /Linux-v6.6/kernel/trace/rv/ |
| D | rv.c | 31 * == Runtime monitor interface ==
33 * A monitor is the central part of the runtime verification of a system.
35 * The monitor stands in between the formal specification of the desired
39 * inside the "RV monitor" abstraction. A RV monitor includes a reference
40 * model of the system, a set of instances of the monitor (per-cpu monitor,
41 * per-task monitor, and so on), and the helper functions that glue the
42 * monitor to the system via trace. Generally, a monitor includes some form
46 * Linux +----- RV Monitor ----------------------------------+ Formal
49 * | Linux kernel | | Monitor | | Reference |
70 * a verification session. For instance, when a given monitor is enabled,
[all …]
|
| D | Kconfig | 32 bool "wip monitor"
34 Enable wip (wakeup in preemptive) sample monitor that illustrates
44 bool "wwnr monitor"
46 Enable wwnr (wakeup while not running) sample monitor, this is a
47 sample monitor that illustrates the usage of per-task monitor.
59 monitor can cause a reaction to the detection of an exception
61 tracing reactions, printing the monitor output via tracepoints,
|
| D | rv_reactors.c | 7 * A runtime monitor can cause a reaction to the detection of an
9 * tracing reactions, printing the monitor output via tracepoints.
45 * "monitors/MONITOR/reactors"
47 * MONITOR inside []. The default one is the nop (no operation)
50 * MONITOR.
137 * Monitor's reactor file.
170 monitor_enabled = mdef->monitor->enabled; in monitor_swap_reactors()
180 mdef->monitor->react = rdef->reactor->react; in monitor_swap_reactors()
343 "rv: the rv_reactor %s is in use by %d monitor(s)\n", in rv_unregister_reactor()
435 * reactor_populate_monitor - creates per monitor reactors file
[all …]
|
| /Linux-v6.6/include/rv/ |
| D | da_monitor.h | 5 * Deterministic automata (DA) monitor functions, to be used together
26 "rv: monitor %s does not allow event %s on state %s\n", \
71 * da_monitor_reset_##name - reset a monitor and setting it to init state \
99 * The monitor will ignore all events until monitoring is set to true. This \
100 * function needs to be called to tell the monitor to start monitoring. \
109 * da_monitoring_##name - returns true if the monitor is processing events \
117 * da_monitor_enabled_##name - checks if the monitor is enabled \
125 /* monitor enabled */ \
133 * da_monitor_handling_event_##name - checks if the monitor is ready to handle events \
141 /* monitor is actually monitoring */ \
[all …]
|
| /Linux-v6.6/Documentation/arch/s390/ |
| D | monreader.rst | 2 Linux API for read access to z/VM Monitor Records
15 usable from user space and allows read access to the z/VM Monitor Records
16 collected by the `*MONITOR` System Service of z/VM.
22 order to allow IUCV connections to the `*MONITOR` service, i.e. it needs the
23 IUCV `*MONITOR` statement in its user entry. If the monitor DCSS to be used is
28 There are two options for being able to load the monitor DCSS (examples assume
29 that the monitor DCSS begins at 144 MB and ends at 152 MB). You can query the
30 location of the monitor DCSS with the Class E privileged CP command Q NSS MAP
68 to specify the name of the monitor DCSS. If the module is compiled into the
73 there are other users already connected to the `*MONITOR` service (e.g.
[all …]
|
| /Linux-v6.6/tools/power/cpupower/man/ |
| D | cpupower-monitor.1 | 1 .TH CPUPOWER\-MONITOR "1" "22/02/2011" "" "cpupower Manual"
3 cpupower\-monitor \- Report processor frequency and idle statistics
6 .B cpupower monitor
9 .B cpupower monitor
13 .B cpupower monitor
18 \fBcpupower-monitor \fP reports processor topology, frequency and idle power
22 \fBcpupower-monitor \fP implements independent processor sleep state and
31 List available monitors on your system. Additional details about each monitor
37 The number of different counters the monitor supports in brackets.
59 Only display specific monitors. Use the monitor string(s) provided by \-l option.
[all …]
|
| /Linux-v6.6/arch/powerpc/include/asm/ |
| D | reg_fsl_emb.h | 4 * Monitor.
13 /* Performance Monitor Registers */
20 /* Freescale Book E Performance Monitor APU Registers */
21 #define PMRN_PMC0 0x010 /* Performance Monitor Counter 0 */
22 #define PMRN_PMC1 0x011 /* Performance Monitor Counter 1 */
23 #define PMRN_PMC2 0x012 /* Performance Monitor Counter 2 */
24 #define PMRN_PMC3 0x013 /* Performance Monitor Counter 3 */
25 #define PMRN_PMC4 0x014 /* Performance Monitor Counter 4 */
26 #define PMRN_PMC5 0x015 /* Performance Monitor Counter 5 */
67 #define PMRN_UPMC0 0x000 /* User Performance Monitor Counter 0 */
[all …]
|
| /Linux-v6.6/tools/verification/rv/src/ |
| D | rv.c | 28 * should_stop - check if the monitor should stop.
30 * Returns 1 if the monitor should stop, 0 otherwise.
72 * rv_mon - try to run a monitor passed as argument
81 " usage: rv mon [-h] monitor [monitor options]", in rv_mon()
83 " run a monitor", in rv_mon()
87 " monitor [monitor options]: the monitor, passing", in rv_mon()
88 " the arguments to the [monitor options]", in rv_mon()
111 * Call all possible monitor implementations, looking in rv_mon()
112 * for the [monitor]. in rv_mon()
117 err_msg("rv: monitor %s does not exist\n", monitor_name); in rv_mon()
[all …]
|
| D | in_kernel.c | 3 * in kernel monitor support: allows rv to control in-kernel monitors.
25 * __ikm_read_enable - reads monitor's enable status
29 * Returns the current status, or -1 if the monitor does not exist,
48 * ikm_read_enable - reads monitor's enable status
68 * ikm_write_enable - write to the monitor's enable file
90 * ikm_enable - enable a monitor
100 * ikm_disable - disable a monitor
112 * Return a dynamically allocated string with the monitor's
123 err_msg("ikm: error reading monitor %s desc\n", monitor_name); in ikm_read_desc()
133 * ikm_fill_monitor_definition - fill monitor's definition
[all …]
|
| /Linux-v6.6/net/bluetooth/ |
| D | msft.c | 133 /* To synchronize add/remove address filter and monitor device event.*/
263 struct adv_monitor *monitor, in msft_le_monitor_advertisement_cb() argument
289 handle_data->mgmt_handle = monitor->handle; in msft_le_monitor_advertisement_cb()
295 monitor->state = ADV_MONITOR_STATE_OFFLOADED; in msft_le_monitor_advertisement_cb()
299 hci_free_adv_monitor(hdev, monitor); in msft_le_monitor_advertisement_cb()
372 struct adv_monitor *monitor, in msft_le_cancel_monitor_advertisement_cb() argument
393 handle_data = msft_find_handle_data(hdev, monitor->handle, true); in msft_le_cancel_monitor_advertisement_cb()
396 if (monitor->state == ADV_MONITOR_STATE_OFFLOADED) in msft_le_cancel_monitor_advertisement_cb()
397 monitor->state = ADV_MONITOR_STATE_REGISTERED; in msft_le_cancel_monitor_advertisement_cb()
399 /* Do not free the monitor if it is being removed due to in msft_le_cancel_monitor_advertisement_cb()
[all …]
|
| /Linux-v6.6/Documentation/devicetree/bindings/net/wireless/ |
| D | qcom,ath11k.yaml | 120 - description: interrupt event for ring host2rxdma-monitor-ring3
121 - description: interrupt event for ring host2rxdma-monitor-ring2
122 - description: interrupt event for ring host2rxdma-monitor-ring1
130 - description: interrupt event for ring rxdma2host-monitor-destination-mac3
131 - description: interrupt event for ring rxdma2host-monitor-destination-mac2
132 - description: interrupt event for ring rxdma2host-monitor-destination-mac1
136 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac3
137 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac2
138 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac1
174 - const: host2rxdma-monitor-ring3
[all …]
|
| /Linux-v6.6/tools/verification/dot2/ |
| D | dot2k | 6 # dot2k: transform dot files into a monitor for the Linux kernel.
21 parser = argparse.ArgumentParser(description='transform .dot file into kernel rv monitor')
30 monitor=dot2k(params.dot_file, params.monitor_type)
40 print("Writing the monitor into the directory %s" % monitor.name)
41 monitor.print_files()
43 print(" - Edit the %s/%s.c to add the instrumentation" % (monitor.name, monitor.name))
45 print(" - Move it to the kernel's monitor directory")
|
| /Linux-v6.6/Documentation/devicetree/bindings/sound/ |
| D | adi,max98396.yaml | 43 description: slot number of the voltage sense monitor
50 description: slot number of the current sense monitor
57 description: slot number of speaker DSP monitor
83 Enables the "data monitor stuck" feature. Once the data monitor is
85 speaker amplifier. Once a data error is detected, the data monitor
91 Sets the threshold for the "data monitor stuck" feature, in bits.
97 Enables the "data monitor magnitude" feature. Once the data monitor is
99 speaker amplifier. Once a data error is detected, the data monitor
105 Sets the threshold for the "data monitor magnitude" feature, in bits.
111 Sets the duration for the "data monitor" feature, in milliseconds.
|
| D | cs35l35.txt | 105 Optional Monitor Signal Format sub-node:
107 The cs35l35 node can have a single "cirrus,monitor-signal-format" sub-node
113 -cirrus,monitor-signal-format : Sub-node for the Monitor Signaling Formatting
117 If not used, the defaults for the 6 monitor signals is used.
123 scale of the IMON monitor signal.
126 of the VMON monitor signal.
129 of the VPMON monitor signal.
132 of the VBSTMON monitor signal
135 of the VPBRSTAT monitor signal
138 of the ZEROFILL packet in the monitor signal
[all …]
|
| /Linux-v6.6/drivers/perf/ |
| D | Kconfig | 3 # Performance Monitor Drivers
6 menu "Performance monitor support"
74 Say y if you want to use the legacy CPU performance monitor
84 Say y if you want to use the CPU performance monitor
98 Provides support for the ARM SMMUv3 Performance Monitor Counter
108 Say y if you want to use the ARM performance monitor unit (PMU)
117 Provides support for performance monitor unit in ARM DynamIQ Shared
123 tristate "Freescale i.MX8 DDR perf monitor"
126 Provides support for the DDR performance monitor in i.MX8, which
131 tristate "Freescale i.MX9 DDR perf monitor"
[all …]
|
| /Linux-v6.6/tools/verification/dot2/dot2k_templates/ |
| D | main_global.c | 20 * This is the self-generated part of the monitor. Generally, there is no need
26 * Declare the deterministic automata monitor.
28 * The rv monitor reference is needed for the monitor declaration.
34 * This is the instrumentation part of the monitor.
64 * This is the monitor register section.
|
| D | main_per_task.c | 20 * This is the self-generated part of the monitor. Generally, there is no need
26 * Declare the deterministic automata monitor.
28 * The rv monitor reference is needed for the monitor declaration.
34 * This is the instrumentation part of the monitor.
64 * This is the monitor register section.
|
| D | main_per_cpu.c | 20 * This is the self-generated part of the monitor. Generally, there is no need
26 * Declare the deterministic automata monitor.
28 * The rv monitor reference is needed for the monitor declaration.
34 * This is the instrumentation part of the monitor.
64 * This is the monitor register section.
|
| /Linux-v6.6/Documentation/filesystems/ |
| D | ceph.rst | 33 (with some minimal coordination from a cluster monitor), making the
97 You only need to specify a single monitor, as the client will get the
98 full list when it connects. (However, if the monitor you specify
100 off if the monitor is using the default. So if the monitor is at
112 Multiple monitor addresses can be passed by separating each address with a slash (`/`)::
116 When using the mount helper, monitor address can be read from ceph
119 the monitor.
125 Monitor address to the cluster. This is used to bootstrap the
127 monitor addresses in the monitor map are followed.
136 address its connection to the monitor originates from.
|
| /Linux-v6.6/drivers/w1/slaves/ |
| D | Kconfig | 107 tristate "DS2438 Smart Battery Monitor 0x26 family support"
110 DS2438 Smart Battery Monitor device support
120 tristate "Dallas 2780 battery monitor chip"
122 If you enable this you will have the DS2780 battery monitor
125 The battery monitor chip is used in many batteries/devices
132 tristate "Dallas 2781 battery monitor chip"
134 If you enable this you will have the DS2781 battery monitor
137 The battery monitor chip is used in many batteries/devices
|
| /Linux-v6.6/drivers/net/wireless/broadcom/brcm80211/brcmfmac/ |
| D | feature.h | 25 * MONITOR: firmware can pass monitor packets to host.
26 * MONITOR_FLAG: firmware flags monitor packets.
27 * MONITOR_FMT_RADIOTAP: firmware provides monitor packets with radiotap header
28 * MONITOR_FMT_HW_RX_HDR: firmware provides monitor packets with hw/ucode header
50 BRCMF_FEAT_DEF(MONITOR) \
|
| /Linux-v6.6/drivers/firmware/meson/ |
| D | meson_sm.c | 3 * Amlogic Secure Monitor driver
91 * meson_sm_call - generic SMC32 call to the secure-monitor
93 * @fw: Pointer to secure-monitor firmware
126 * meson_sm_call_read - retrieve data from secure-monitor
128 * @fw: Pointer to secure-monitor firmware
177 * meson_sm_call_write - send data to secure-monitor
179 * @fw: Pointer to secure-monitor firmware
221 * @sm_node: Pointer to the secure-monitor Device Tree node.
223 * Return: NULL is the secure-monitor device is not ready.
322 pr_info("secure-monitor enabled\n"); in meson_sm_probe()
|
