Home
last modified time | relevance | path

Searched full:monitor (Results 1 – 25 of 1396) sorted by relevance

12345678910>>...56

/Linux-v6.1/Documentation/trace/rv/
Dda_monitor_synthesis.rst1 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 …]
Druntime-verification.rst26 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 …]
Dda_monitor_instrumentation.rst4 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.1/kernel/trace/rv/
Drv.c31 * == 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 …]
DKconfig32 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,
Drv_reactors.c7 * 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.1/include/rv/
Dda_monitor.h5 * 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.1/Documentation/s390/
Dmonreader.rst2 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.1/tools/power/cpupower/man/
Dcpupower-monitor.11 .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.1/net/bluetooth/
Dmsft.c215 struct adv_monitor *monitor, in msft_le_monitor_advertisement_cb() argument
241 handle_data->mgmt_handle = monitor->handle; in msft_le_monitor_advertisement_cb()
246 monitor->state = ADV_MONITOR_STATE_OFFLOADED; in msft_le_monitor_advertisement_cb()
250 hci_free_adv_monitor(hdev, monitor); in msft_le_monitor_advertisement_cb()
259 struct adv_monitor *monitor, in msft_le_cancel_monitor_advertisement_cb() argument
279 handle_data = msft_find_handle_data(hdev, monitor->handle, true); in msft_le_cancel_monitor_advertisement_cb()
282 if (monitor->state == ADV_MONITOR_STATE_OFFLOADED) in msft_le_cancel_monitor_advertisement_cb()
283 monitor->state = ADV_MONITOR_STATE_REGISTERED; in msft_le_cancel_monitor_advertisement_cb()
285 /* Do not free the monitor if it is being removed due to in msft_le_cancel_monitor_advertisement_cb()
289 hci_free_adv_monitor(hdev, monitor); in msft_le_cancel_monitor_advertisement_cb()
[all …]
/Linux-v6.1/arch/powerpc/include/asm/
Dreg_fsl_emb.h4 * 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.1/Documentation/devicetree/bindings/net/wireless/
Dqcom,ath11k.yaml120 - 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.1/tools/verification/dot2/
Ddot2k6 # 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.1/Documentation/devicetree/bindings/sound/
Dadi,max98396.yaml43 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.
Dcs35l35.txt105 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 Formating
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.1/drivers/perf/
DKconfig3 # 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
107 Provides support for performance monitor unit in ARM DynamIQ Shared
113 tristate "Freescale i.MX8 DDR perf monitor"
116 Provides support for the DDR performance monitor in i.MX8, which
125 Provides support for the L2 cache performance monitor unit (PMU)
135 Provides support for the L3 cache performance monitor unit (PMU)
/Linux-v6.1/tools/verification/dot2/dot2k_templates/
Dmain_global.c20 * 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.
Dmain_per_cpu.c20 * 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.
Dmain_per_task.c20 * 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.1/Documentation/filesystems/
Dceph.rst33 (with some minimal coordination from a cluster monitor), making the
87 You only need to specify a single monitor, as the client will get the
88 full list when it connects. (However, if the monitor you specify
90 off if the monitor is using the default. So if the monitor is at
102 Multiple monitor addresses can be passed by separating each address with a slash (`/`)::
106 When using the mount helper, monitor address can be read from ceph
109 the monitor.
115 Monitor address to the cluster. This is used to bootstrap the
117 monitor addresses in the monitor map are followed.
126 address its connection to the monitor originates from.
/Linux-v6.1/drivers/w1/slaves/
DKconfig107 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.1/Documentation/devicetree/bindings/firmware/meson/
Dmeson_sm.txt1 * Amlogic Secure Monitor
3 In the Amlogic SoCs the Secure Monitor code is used to provide access to the
6 Required properties for the secure monitor node:
12 sm: secure-monitor {
/Linux-v6.1/drivers/net/wireless/broadcom/brcm80211/brcmfmac/
Dfeature.h25 * 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
48 BRCMF_FEAT_DEF(MONITOR) \
/Linux-v6.1/drivers/firmware/meson/
Dmeson_sm.c3 * 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.
314 pr_info("secure-monitor enabled\n"); in meson_sm_probe()
/Linux-v6.1/tools/power/cpupower/po/
Dde.po72 #: utils/idle_monitor/cpupower-monitor.c:66
75 "cpupower monitor: [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
78 "cpupower monitor: [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
81 #: utils/idle_monitor/cpupower-monitor.c:69
84 "cpupower monitor: [-v] [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
87 "cpupower monitor: [-v] [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
90 #: utils/idle_monitor/cpupower-monitor.c:71
95 #: utils/idle_monitor/cpupower-monitor.c:73
100 #: utils/idle_monitor/cpupower-monitor.c:74
105 #: utils/idle_monitor/cpupower-monitor.c:75
[all …]

12345678910>>...56