Home
last modified time | relevance | path

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

12345678910>>...54

/linux/Documentation/trace/rv/
H A 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 …]
H A Dmonitor_sched.rst16 in fact, testing the system as if we had one single larger monitor.
20 The sched monitor is a set of specifications to describe the scheduler behaviour.
43 Monitor tss
46 The task switch while scheduling (tss) monitor ensures a task switch happens
63 Monitor sco
66 The scheduling context operations (sco) monitor ensures changes in a task state
84 Monitor snroc
87 The set non runnable on its own context (snroc) monitor ensures changes in a
89 monitor::
105 Monitor scpd
[all …]
H 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/kernel/trace/rv/
H A 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 …]
H A 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.
171 monitor_enabled = mdef->monitor->enabled; in monitor_swap_reactors_single()
181 mdef->monitor->react = rdef->reactor->react; in monitor_swap_reactors_single()
195 if (p->parent != mdef->monitor) in monitor_swap_reactors()
200 * This call enables and disables the monitor if they were active. in monitor_swap_reactors()
[all …]
/linux/include/rv/
H A Dda_monitor.h5 * Deterministic automata (DA) monitor functions, to be used together
27 "rv: monitor %s does not allow event %s on state %s\n", \
72 * da_monitor_reset_##name - reset a monitor and setting it to init state \
100 * The monitor will ignore all events until monitoring is set to true. This \
101 * function needs to be called to tell the monitor to start monitoring. \
110 * da_monitoring_##name - returns true if the monitor is processing events \
118 * da_monitor_enabled_##name - checks if the monitor is enabled \
126 /* monitor enabled */ \
134 * da_monitor_handling_event_##name - checks if the monitor is ready to handle events \
142 /* monitor is actually monitoring */ \
[all …]
/linux/Documentation/arch/s390/
H A 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/tools/power/cpupower/man/
H A 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/tools/verification/dot2/
H A Ddot2k6 # dot2k: transform dot files into a monitor for the Linux kernel.
20 parser = argparse.ArgumentParser(description='transform .dot file into kernel rv monitor')
30 required=False, help="Create a monitor nested to parent")
33 help="Create an empty monitor to be used as a container")
39 monitor=dot2k(params.dot_file, params.monitor_type, vars(params))
45 print("Writing the monitor into the directory %s" % monitor.name)
46 monitor.print_files()
49 print(" - Edit the %s/%s.c to add the instrumentation" % (monitor.name, monitor.name))
50 print(monitor.fill_tracepoint_tooltip())
51 print(monitor.fill_makefile_tooltip())
[all …]
/linux/arch/powerpc/include/asm/
H A Dreg_fsl_emb.h4 * Monitor.
13 /* Performance Monitor Registers */
37 /* Freescale Book E Performance Monitor APU Registers */
38 #define PMRN_PMC0 0x010 /* Performance Monitor Counter 0 */
39 #define PMRN_PMC1 0x011 /* Performance Monitor Counter 1 */
40 #define PMRN_PMC2 0x012 /* Performance Monitor Counter 2 */
41 #define PMRN_PMC3 0x013 /* Performance Monitor Counter 3 */
42 #define PMRN_PMC4 0x014 /* Performance Monitor Counter 4 */
43 #define PMRN_PMC5 0x015 /* Performance Monitor Counter 5 */
84 #define PMRN_UPMC0 0x000 /* User Performance Monitor Counter 0 */
[all …]
/linux/net/bluetooth/
H A Dmsft.c132 /* To synchronize add/remove address filter and monitor device event.*/
259 struct adv_monitor *monitor, in msft_le_monitor_advertisement_cb() argument
285 handle_data->mgmt_handle = monitor->handle; in msft_le_monitor_advertisement_cb()
291 monitor->state = ADV_MONITOR_STATE_OFFLOADED; in msft_le_monitor_advertisement_cb()
295 hci_free_adv_monitor(hdev, monitor); in msft_le_monitor_advertisement_cb()
368 struct adv_monitor *monitor, in msft_le_cancel_monitor_advertisement_cb() argument
389 handle_data = msft_find_handle_data(hdev, monitor->handle, true); in msft_le_cancel_monitor_advertisement_cb()
392 if (monitor->state == ADV_MONITOR_STATE_OFFLOADED) in msft_le_cancel_monitor_advertisement_cb()
393 monitor->state = ADV_MONITOR_STATE_REGISTERED; in msft_le_cancel_monitor_advertisement_cb()
395 /* Do not free the monitor if it is being removed due to in msft_le_cancel_monitor_advertisement_cb()
[all …]
/linux/tools/verification/rv/src/
H A Drv.c28 * should_stop - check if the monitor should stop.
30 * Returns 1 if the monitor should stop, 0 otherwise.
84 * rv_mon - try to run a monitor passed as argument
93 " usage: rv mon [-h] monitor [monitor options]", in rv_mon()
95 " run a monitor", in rv_mon()
99 " monitor [monitor options]: the monitor, passing", in rv_mon()
100 " the arguments to the [monitor options]", in rv_mon()
123 * Call all possible monitor implementations, looking in rv_mon()
124 * for the [monitor]. in rv_mon()
129 err_msg("rv: monitor %s does not exist\n", monitor_name); in rv_mon()
[all …]
H A Din_kernel.c3 * in kernel monitor support: allows rv to control in-kernel monitors.
28 * __ikm_read_enable - reads monitor's enable status
32 * Returns the current status, or -1 if the monitor does not exist,
55 * Returns 1 if we found the monitor, -1 on error and 0 if it does not exist.
96 * ikm_read_enable - reads monitor's enable status
116 * ikm_write_enable - write to the monitor's enable file
138 * ikm_enable - enable a monitor
148 * ikm_disable - disable a monitor
160 * Return a dynamically allocated string with the monitor's
171 err_msg("ikm: error reading monitor %s desc\n", monitor_name); in ikm_read_desc()
[all …]
/linux/Documentation/devicetree/bindings/net/wireless/
H A Dqcom,ath11k.yaml130 - description: interrupt event for ring host2rxdma-monitor-ring3
131 - description: interrupt event for ring host2rxdma-monitor-ring2
132 - description: interrupt event for ring host2rxdma-monitor-ring1
140 - description: interrupt event for ring rxdma2host-monitor-destination-mac3
141 - description: interrupt event for ring rxdma2host-monitor-destination-mac2
142 - description: interrupt event for ring rxdma2host-monitor-destination-mac1
146 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac3
147 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac2
148 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac1
184 - const: host2rxdma-monitor-ring3
[all …]
/linux/Documentation/devicetree/bindings/sound/
H 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.
H A 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 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/drivers/w1/slaves/
H A 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/Documentation/tools/rv/
H A Drv-mon-sched.rst24 The scheduler monitor collection is a container for several monitors to model
25 the behaviour of the scheduler. Each monitor describes a specification that
28 As a monitor container, it will enable all nested monitors and set them
31 and by specifying sched: , e.g. to enable only monitor tss you can do any of:
37 See kernel documentation for further information about this monitor:
45 NESTED MONITOR
/linux/Documentation/devicetree/bindings/soc/bcm/
H A Dbrcm,bcm2711-avs-monitor.yaml4 $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";
/linux/tools/verification/dot2/dot2k_templates/
H A Dmain.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/drivers/firmware/meson/
H A Dmeson_sm.c3 * Amlogic Secure Monitor driver
92 * meson_sm_call - generic SMC32 call to the secure-monitor
94 * @fw: Pointer to secure-monitor firmware
128 * meson_sm_call_read - retrieve data from secure-monitor
130 * @fw: Pointer to secure-monitor firmware
184 * meson_sm_call_write - send data to secure-monitor
186 * @fw: Pointer to secure-monitor firmware
228 * @sm_node: Pointer to the secure-monitor Device Tree node.
230 * Return: NULL is the secure-monitor device is not ready.
323 pr_info("secure-monitor enabled\n"); in meson_sm_probe()
[all …]
/linux/tools/power/cpupower/po/
H A 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 …]
H A Dcs.po75 #: utils/idle_monitor/cpupower-monitor.c:66
78 "cpupower monitor: [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
82 #: utils/idle_monitor/cpupower-monitor.c:69
85 "cpupower monitor: [-v] [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
89 #: utils/idle_monitor/cpupower-monitor.c:71
94 #: utils/idle_monitor/cpupower-monitor.c:73
99 #: utils/idle_monitor/cpupower-monitor.c:74
104 #: utils/idle_monitor/cpupower-monitor.c:75
109 #: utils/idle_monitor/cpupower-monitor.c:76
114 #: utils/idle_monitor/cpupower-monitor.c:77
[all …]
H A Dpt.po70 #: utils/idle_monitor/cpupower-monitor.c:66
73 "cpupower monitor: [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
77 #: utils/idle_monitor/cpupower-monitor.c:69
80 "cpupower monitor: [-v] [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
84 #: utils/idle_monitor/cpupower-monitor.c:71
89 #: utils/idle_monitor/cpupower-monitor.c:73
94 #: utils/idle_monitor/cpupower-monitor.c:74
99 #: utils/idle_monitor/cpupower-monitor.c:75
104 #: utils/idle_monitor/cpupower-monitor.c:76
109 #: utils/idle_monitor/cpupower-monitor.c:77
[all …]
H A Dfr.po72 #: utils/idle_monitor/cpupower-monitor.c:66
75 "cpupower monitor: [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
79 #: utils/idle_monitor/cpupower-monitor.c:69
82 "cpupower monitor: [-v] [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
86 #: utils/idle_monitor/cpupower-monitor.c:71
91 #: utils/idle_monitor/cpupower-monitor.c:73
96 #: utils/idle_monitor/cpupower-monitor.c:74
101 #: utils/idle_monitor/cpupower-monitor.c:75
106 #: utils/idle_monitor/cpupower-monitor.c:76
111 #: utils/idle_monitor/cpupower-monitor.c:77
[all …]

12345678910>>...54