Home
last modified time | relevance | path

Searched refs:monitor (Results 1 – 25 of 449) sorted by relevance

12345678910>>...18

/linux-6.3-rc2/Documentation/trace/rv/
A Dda_monitor_synthesis.rst10 *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
39 DA monitor synthesis
51 a kernel monitor in C.
54 [1] into a per-cpu monitor with the following command::
61 - wip.c: the RV monitor
107 the event will be processed if the monitor is processing events.
113 monitor that the system is returning to the initial state, so the monitor can
118 monitor can start monitoring and monitor the current event.
[all …]
A 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,
94 monitor's ability to process them in the same system, only the *offline*
150 - Writing to it enables a given monitor
151 - Writing a monitor name with a '!' prefix disables it
169 Note that it is possible to enable more than one monitor concurrently.
191 Each monitor will have its own directory inside "monitors/". There the
201 wakeup in preemptive per-cpu testing monitor.
[all …]
A 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-6.3-rc2/net/bluetooth/
A Dmsft.c215 struct adv_monitor *monitor, in msft_le_monitor_advertisement_cb() argument
308 struct adv_monitor *monitor) in msft_remove_monitor_sync() argument
332 monitor, skb); in msft_remove_monitor_sync()
339 struct adv_monitor *monitor; in msft_suspend_sync() local
349 if (!monitor) in msft_suspend_sync()
393 struct adv_monitor *monitor) in msft_add_monitor_sync() argument
448 monitor, skb); in msft_add_monitor_sync()
454 struct adv_monitor *monitor; in reregister_monitor() local
465 if (!monitor) in reregister_monitor()
541 struct adv_monitor *monitor; in msft_do_close() local
[all …]
A Dmsft.h22 int msft_add_monitor_pattern(struct hci_dev *hdev, struct adv_monitor *monitor);
23 int msft_remove_monitor(struct hci_dev *hdev, struct adv_monitor *monitor);
45 struct adv_monitor *monitor) in msft_add_monitor_pattern() argument
51 struct adv_monitor *monitor) in msft_remove_monitor() argument
/linux-6.3-rc2/kernel/trace/rv/
A Drv.c230 if (mdef->monitor->enabled) { in __rv_disable_monitor()
231 mdef->monitor->enabled = 0; in __rv_disable_monitor()
232 mdef->monitor->disable(); in __rv_disable_monitor()
268 if (mdef->monitor->enabled) in rv_enable_monitor()
274 mdef->monitor->enabled = 1; in rv_enable_monitor()
419 if (m_def->monitor->enabled) in enabled_monitors_next()
618 if (mdef->monitor->enabled) in reset_all_monitors()
619 mdef->monitor->reset(); in reset_all_monitors()
708 if (strcmp(monitor->name, r->monitor->name) == 0) { in rv_register_monitor()
721 r->monitor = monitor; in rv_register_monitor()
[all …]
A 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,
/linux-6.3-rc2/tools/verification/dot2/
A Ddot2k30 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))
/linux-6.3-rc2/Documentation/devicetree/bindings/sound/
A 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.
A Dcs35l35.txt107 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
172 cirrus,monitor-signal-format {
/linux-6.3-rc2/Documentation/devicetree/bindings/net/wireless/
A Dqcom,ath11k.yaml174 - const: host2rxdma-monitor-ring3
175 - const: host2rxdma-monitor-ring2
176 - const: host2rxdma-monitor-ring1
184 - const: rxdma2host-monitor-destination-mac3
185 - const: rxdma2host-monitor-destination-mac2
186 - const: rxdma2host-monitor-destination-mac1
190 - const: rxdma2host-monitor-status-ring-mac3
191 - const: rxdma2host-monitor-status-ring-mac2
347 "host2rxdma-monitor-ring3",
348 "host2rxdma-monitor-ring2",
[all …]
/linux-6.3-rc2/Documentation/tools/rv/
A Drv-mon-wip.rst7 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:
A Drv-mon.rst20 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**
A Drv-mon-wwnr.rst7 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:
/linux-6.3-rc2/include/rv/
A Dinstrumentation.h16 #define rv_attach_trace_probe(monitor, tp, rv_handler) \ argument
20 "fail attaching " #monitor " " #tp "handler"); \
26 #define rv_detach_trace_probe(monitor, tp, rv_handler) \ argument
/linux-6.3-rc2/Documentation/devicetree/bindings/nvmem/
A Damlogic-efuse.txt7 - secure-monitor: phandle to the secure-monitor node
20 secure-monitor = <&sm>;
35 sm: secure-monitor {
/linux-6.3-rc2/Documentation/s390/
A Dmonreader.rst23 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
76 of the monitor DCSS, if already defined, and the users connected to the
124 This loads the module with the default monitor DCSS (MONDCSS) and creates a
136 Reading from the device provides a 12 Byte monitor control element (MCE),
137 followed by a set of one or more contiguous monitor records (similar to the
148 of the monitor control element layout. The layout of the monitor records can
[all …]
/linux-6.3-rc2/tools/power/cpupower/
A DTODO7 RAM from HW on Intel SandyBridge -> another monitor?
8 - Add another c1e debug idle monitor
11 - Add cpu_start()/cpu_stop() callbacks for monitor
13 monitor to outside it. This can be given higher
A Dcpupower-completion.sh71 monitor) COMPREPLY=($(compgen -W "$flags" -- "$cur")) ;;
89 monitor) _monitor ;;
123 monitor) _monitor ;;
/linux-6.3-rc2/drivers/perf/hisilicon/
A DKconfig6 Support for HiSilicon SoC L3 Cache performance monitor, Hydra Home
7 Agent performance monitor and DDR Controller performance monitor.
/linux-6.3-rc2/tools/perf/ui/gtk/
A Dbrowser.c20 int monitor; in perf_gtk__resize_window() local
26 monitor = gdk_screen_get_monitor_at_window(screen, window->window); in perf_gtk__resize_window()
28 gdk_screen_get_monitor_geometry(screen, monitor, &rect); in perf_gtk__resize_window()
/linux-6.3-rc2/Documentation/devicetree/bindings/hwmon/
A Dadi,ltc2945.yaml7 title: Analog Devices LTC2945 wide range i2c power monitor
13 Analog Devices LTC2945 wide range i2c power monitor over I2C.
42 power-monitor@6e {
/linux-6.3-rc2/drivers/ufs/core/
A Dufs-sysfs.c382 if (value == hba->monitor.enabled) in monitor_enable_store()
386 memset(&hba->monitor, 0, sizeof(hba->monitor)); in monitor_enable_store()
388 hba->monitor.enabled = true; in monitor_enable_store()
389 hba->monitor.enabled_ts = ktime_get(); in monitor_enable_store()
417 if (!hba->monitor.enabled) in monitor_chunk_size_store()
418 hba->monitor.chunk_size = value; in monitor_chunk_size_store()
453 struct ufs_hba_monitor *m = &hba->monitor; in read_req_latency_avg_show()
466 ktime_to_us(hba->monitor.lat_max[READ])); in read_req_latency_max_show()
476 ktime_to_us(hba->monitor.lat_min[READ])); in read_req_latency_min_show()
486 ktime_to_us(hba->monitor.lat_sum[READ])); in read_req_latency_sum_show()
[all …]
/linux-6.3-rc2/Documentation/devicetree/bindings/thermal/
A Dbrcm,avs-ro-thermal.yaml17 "brcm,bcm2711-avs-monitor", "syscon", "simple-mfd"
38 avs-monitor@7d5d2000 {
39 compatible = "brcm,bcm2711-avs-monitor",
/linux-6.3-rc2/drivers/net/wireless/intel/ipw2x00/
A Dlibipw_module.c107 struct net_device *alloc_libipw(int sizeof_priv, int monitor) in alloc_libipw() argument
123 if (!monitor) { in alloc_libipw()
181 if (!monitor) in alloc_libipw()
190 void free_libipw(struct net_device *dev, int monitor) in free_libipw() argument
199 if (!monitor) in free_libipw()

Completed in 34 milliseconds

12345678910>>...18