Home
last modified time | relevance | path

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

12345678910>>...53

/linux/tools/verification/rvgen/
H A D__main__.py6 # dot2k: transform dot files into a monitor for the Linux kernel.
13 from rvgen.generator import Monitor
19 parser = argparse.ArgumentParser(description='Generate kernel rv monitor')
27 monitor_parser = subparsers.add_parser("monitor")
30 required=False, help="Create a monitor nested to parent")
32 help="Monitor class, either \"da\" or \"ltl\"")
33 monitor_parser.add_argument('-s', "--spec", dest="spec", help="Monitor specification file")
35 … help=f"Available options: {', '.join(Monitor.monitor_types.keys())}")
43 if params.subcmd == "monitor":
46 monitor = dot2k(params.spec, params.monitor_type, vars(params)) variable
[all …]
/linux/include/rv/
H A Dda_monitor.h5 * Deterministic automata (DA) monitor functions, to be used together
26 rv_##name.react("rv: monitor %s does not allow event %s on state %s\n", \
49 * da_monitor_reset_##name - reset a monitor and setting it to init state \
60 * The monitor will ignore all events until monitoring is set to true. This \
61 * function needs to be called to tell the monitor to start monitoring. \
70 * da_monitoring_##name - returns true if the monitor is processing events \
78 * da_monitor_enabled_##name - checks if the monitor is enabled \
86 /* monitor enabled */ \
94 * da_monitor_handling_event_##name - checks if the monitor is ready to handle events \
102 /* monitor is actually monitoring */ \
[all …]
/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 …]
/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/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/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/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/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/Documentation/trace/rv/
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 sco
46 The scheduling context operations (sco) monitor ensures changes in a task state
64 Monitor snroc
67 The set non runnable on its own context (snroc) monitor ensures changes in a
69 monitor::
85 Monitor scpd
88 The schedule called with preemption disabled (scpd) monitor ensures schedule is
106 Monitor snep
[all …]
H A Dmonitor_rtapp.rst25 The `rtapp` monitor detects these patterns. It aids developers to identify
29 Monitor pagefault
32 The `pagefault` monitor reports real-time tasks raising page faults. Its
37 To fix warnings reported by this monitor, `mlockall()` or `mlock()` can be used
40 This monitor may have false negatives because the pages used by the real-time
47 Monitor sleep
50 The `sleep` monitor reports real-time threads sleeping in a manner that may
77 This monitor's warning usually means one of the following:
93 The monitor's specification is::
129 the rt_mutex's waiter. Consequently, the monitor may see a real-time-unsafe
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/drivers/perf/
H A DKconfig3 # Performance Monitor Drivers
6 menu "Performance monitor support"
93 Say y if you want to use the legacy CPU performance monitor
103 Say y if you want to use the CPU performance monitor
113 Provide support for StarLink Performance Monitor Unit.
114 StarLink Performance Monitor Unit integrates one or more cores with
141 Provides support for the ARM SMMUv3 Performance Monitor Counter
151 Say y if you want to use the ARM performance monitor unit (PMU)
160 Provides support for performance monitor unit in ARM DynamIQ Shared
166 tristate "Freescale i.MX8 DDR perf monitor"
[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/rvgen/rvgen/templates/dot2k/
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/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 …]
H A Dit.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>>...53