Searched full:monitor (Results 1 – 25 of 347) sorted by relevance
12345678910>>...14
| /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::
|
| D | monitor_wip.rst | 1 Monitor wip
11 The wakeup in preemptive (wip) monitor is a sample per-cpu monitor
|
| /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 …]
|
| /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 …]
|
| /Documentation/devicetree/bindings/soc/bcm/ |
| D | brcm,bcm2711-avs-monitor.yaml | 4 $id: http://devicetree.org/schemas/soc/bcm/brcm,bcm2711-avs-monitor.yaml#
7 title: Broadcom AVS Monitor
15 - const: brcm,bcm2711-avs-monitor
35 avs-monitor@7d5d2000 {
36 compatible = "brcm,bcm2711-avs-monitor", "syscon", "simple-mfd";
|
| /Documentation/devicetree/bindings/net/wireless/ |
| D | qcom,ath11k.yaml | 124 - description: interrupt event for ring host2rxdma-monitor-ring3
125 - description: interrupt event for ring host2rxdma-monitor-ring2
126 - description: interrupt event for ring host2rxdma-monitor-ring1
134 - description: interrupt event for ring rxdma2host-monitor-destination-mac3
135 - description: interrupt event for ring rxdma2host-monitor-destination-mac2
136 - description: interrupt event for ring rxdma2host-monitor-destination-mac1
140 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac3
141 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac2
142 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac1
178 - const: host2rxdma-monitor-ring3
[all …]
|
| /Documentation/tools/rv/ |
| D | rv-mon.rst | 15 **rv mon** [*-h*] **monitor_name** [*-h*] [*MONITOR OPTIONS*]
20 The **rv mon** command runs the monitor named *monitor_name*. Each monitor
37 Each monitor has its own set of options. See man **rv-mon**-*monitor_name*
38 for details about each specific monitor. Also, running **rv mon**
|
| D | rv-mon-wip.rst | 7 Wakeup In Preemptive monitor
20 The wakeup in preemptive (**wip**) monitor is a sample per-cpu monitor that
23 See kernel documentation for further information about this monitor:
|
| D | rv-mon-wwnr.rst | 7 Wakeup While Not Running monitor
20 The wakeup while not running (**wwnr**) is a per-task sample monitor.
22 See kernel documentation for further information about this monitor:
|
| D | common_ikm.rst | 3 Print the monitor's options and the available reactors list.
17 Trace monitor's events and error.
|
| /Documentation/devicetree/bindings/nvmem/ |
| D | amlogic,meson-gxbb-efuse.yaml | 27 secure-monitor:
28 description: phandle to the secure-monitor node
37 - secure-monitor
48 secure-monitor = <&sm>;
|
| /Documentation/filesystems/ |
| D | ceph.rst | 33 (with some minimal coordination from a cluster monitor), making the
100 You only need to specify a single monitor, as the client will get the
101 full list when it connects. (However, if the monitor you specify
103 off if the monitor is using the default. So if the monitor is at
115 Multiple monitor addresses can be passed by separating each address with a slash (`/`)::
119 When using the mount helper, monitor address can be read from ceph
122 the monitor.
128 Monitor address to the cluster. This is used to bootstrap the
130 monitor addresses in the monitor map are followed.
139 address its connection to the monitor originates from.
|
| /Documentation/admin-guide/ |
| D | edid.rst | 15 - The graphics board does not recognize the monitor.
18 - The monitor sends no or bogus EDID data.
19 - A KVM sends its own EDID data instead of querying the connected monitor.
|
| /Documentation/devicetree/bindings/firmware/ |
| D | amlogic,meson-gxbb-sm.yaml | 7 title: Amlogic Secure Monitor (SM)
10 In the Amlogic SoCs the Secure Monitor code is used to provide access to the
36 secure-monitor {
|
| D | intel,stratix10-svc.txt | 18 driver also manages secure monitor call (SMC) to communicate with secure monitor
28 smc - Secure Monitor Call
|
| /Documentation/devicetree/bindings/thermal/ |
| D | brcm,avs-ro-thermal.yaml | 17 "brcm,bcm2711-avs-monitor", "syscon", "simple-mfd"
38 avs-monitor@7d5d2000 {
39 compatible = "brcm,bcm2711-avs-monitor",
|
| /Documentation/devicetree/bindings/hwmon/ |
| D | adi,ltc2945.yaml | 7 title: Analog Devices LTC2945 wide range i2c power monitor
13 Analog Devices LTC2945 wide range i2c power monitor over I2C.
45 power-monitor@6e {
|
| D | adi,ltc2992.yaml | 7 title: Linear Technology 2992 Power Monitor
13 Linear Technology 2992 Dual Wide Range Power Monitor
42 The channel number. LTC2992 can monitor two supplies.
|
| /Documentation/devicetree/bindings/arm/ |
| D | qcom,coresight-tpdm.yaml | 8 title: Trace, Profiling and Diagnostics Monitor - TPDM
11 The TPDM or Monitor serves as data collection component for various dataset
49 the monitor. The associated aggregator will read this size before it
56 the monitor. The associated aggregator will read this size before it
64 registers supported by the monitor. If this property is not configured
73 by the monitor. If this property is not configured or set to 0, it means
|
| /Documentation/devicetree/bindings/csky/ |
| D | pmu.txt | 2 C-SKY Performance Monitor Units
5 C-SKY Performance Monitor is designed for ck807/ck810/ck860 SMP soc and
33 pmu: performace-monitor {
|
| /Documentation/hwmon/ |
| D | ucd9000.rst | 30 The UCD90120 Power Supply Sequencer and System Health Monitor monitors and
36 system-health monitor. The device integrates a 12-bit ADC for monitoring up to
44 monitor. The device integrates a 12-bit ADC for monitoring up to 16 power-supply
51 monitor. The 24 integrated ADC channels (AMONx) monitor the power supply
57 monitor. The device integrates a 12-bit ADC for monitoring up to 10 power-supply
64 system-health monitor. The device integrates a 12-bit ADC for monitoring up to
|
| /Documentation/fb/ |
| D | intel810.rst | 47 - Utilizes user-entered monitor specifications to automatically
101 monitor in kHz. If using a fixed frequency monitor, hsync1 must
105 Recommendation: check monitor manual for correct values
109 select the minimum and maximum Vertical Sync Frequency of the monitor
110 in Hz. You can also use this option to lock your monitor's refresh
114 Recommendation: check monitor manual for correct values
152 Useful if the BIOS turns off the VGA port when no monitor is attached.
153 The external VGA monitor can then be attached without rebooting.
|
12345678910>>...14