| /linux/tools/testing/selftests/verification/test.d/ |
| H A D | rv_monitor_enable_disable.tc | 3 # description: Test monitor enable/disable 6 local monitor="$1" 9 echo 1 > "monitors/$prefix$monitor/enable" 10 grep -q "$monitor$" enabled_monitors 12 echo 0 > "monitors/$prefix$monitor/enable" 13 ! grep -q "$monitor$" enabled_monitors || false 15 echo "$monitor" >> enabled_monitors 16 grep -q 1 "monitors/$prefix$monitor/enable" 18 echo "!$monitor" >> enabled_monitors 19 grep -q 0 "monitors/$prefix$monitor/enabl [all...] |
| H A D | rv_monitor_reactor.tc | 3 # description: Test monitor reactor setting 7 local monitor="$1" 13 echo "$reactor" > "monitors/$prefix$monitor/reactors" 14 grep -q "\\[$reactor\\]" "monitors/$prefix$monitor/reactors" 17 echo nop > "monitors/$prefix$monitor/reactors" 18 grep -q "\\[nop\\]" "monitors/$prefix$monitor/reactors" 22 local monitor="$1" 28 echo "$reactor" > "monitors/$monitor/reactors" 29 grep -q "\\[$reactor\\]" "monitors/$monitor/reactors" 31 for nested_dir in "monitors/$monitor"/*; d [all...] |
| /linux/tools/verification/rvgen/ |
| H A D | __main__.py | 6 # dot2k: transform dot files into a monitor for the Linux kernel. 13 from rvgen.generator import Monitor 22 parser = argparse.ArgumentParser(description='Generate kernel rv monitor') 32 monitor_parser = subparsers.add_parser("monitor", parents=[parent_parser]) 35 required=False, help="Create a monitor nested to parent") 37 help="Monitor class, either \"da\", \"ha\" or \"ltl\"") 39 help="Monitor specification file") 41 help=f"Available options: {', '.join(Monitor.monitor_types.keys())}") 49 help="Force looking for the monitor in the current directory only") 54 if params.subcmd == "monitor" 46 monitor = dot2k(params.spec, params.monitor_type, vars(params)) global() variable 48 monitor = ltl2k(params.spec, params.monitor_type, vars(params)) global() variable 53 monitor = Container(vars(params)) global() variable [all...] |
| /linux/kernel/trace/rv/ |
| H A D | rv.c | 31 * == 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 include 760 rv_register_monitor(struct rv_monitor * monitor,struct rv_monitor * parent) rv_register_monitor() argument 807 rv_unregister_monitor(struct rv_monitor * monitor) rv_unregister_monitor() argument [all...] |
| H A D | rv_reactors.c | 7 * 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. 138 * Monitor's reactor file. 195 * This call enables and disables the monitor if they were active. in monitor_swap_reactors() 406 * reactor_populate_monitor - creates per monitor reactors file 407 * @mon: The monitor. 408 * @root: The directory of the monitor 466 rv_react(struct rv_monitor * monitor,const char * msg,...) rv_react() argument [all...] |
| /linux/Documentation/arch/s390/ |
| H A 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 …]
|
| /linux/tools/power/cpupower/man/ |
| H A D | cpupower-monitor.1 | 1 .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 D | reg_fsl_emb.h | 4 * 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 D | rv.c | 28 * 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 option in rv_mon() [all...] |
| H A D | in_kernel.c | 3 * 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. 98 * ikm_read_enable - reads monitor's enable status 118 * ikm_write_enable - write to the monitor's enable file 140 * ikm_enable - enable a monitor 150 * ikm_disable - disable a monitor 162 * Return a dynamically allocated string with the monitor's 173 err_msg("ikm: error reading monitor in ikm_read_desc() [all...] |
| /linux/net/bluetooth/ |
| H A D | msft.c | 132 /* To synchronize add/remove address filter and monitor device event.*/ 264 struct adv_monitor *monitor, in msft_le_monitor_advertisement_cb() argument 290 handle_data->mgmt_handle = monitor->handle; in msft_le_monitor_advertisement_cb() 296 monitor->state = ADV_MONITOR_STATE_OFFLOADED; in msft_le_monitor_advertisement_cb() 300 hci_free_adv_monitor(hdev, monitor); in msft_le_monitor_advertisement_cb() 373 struct adv_monitor *monitor, in msft_le_cancel_monitor_advertisement_cb() argument 394 handle_data = msft_find_handle_data(hdev, monitor->handle, true); in msft_le_cancel_monitor_advertisement_cb() 397 if (monitor->state == ADV_MONITOR_STATE_OFFLOADED) in msft_le_cancel_monitor_advertisement_cb() 398 monitor->state = ADV_MONITOR_STATE_REGISTERED; in msft_le_cancel_monitor_advertisement_cb() 400 /* Do not free the monitor if it is being removed due to in msft_le_cancel_monitor_advertisement_cb() [all …]
|
| /linux/scripts/gdb/linux/ |
| H A D | bpf.py | 37 def __init__(self, monitor): argument 40 self.monitor = monitor 43 self.monitor.add(gdb.parse_and_eval("ksym")) 48 def __init__(self, monitor): argument 52 self.monitor = monitor 55 self.monitor.remove(gdb.parse_and_eval("ksym")) 98 def __init__(self, monitor): argument 102 self.monitor = monitor 105 self.monitor.add(gdb.parse_and_eval("fp")) 110 def __init__(self, monitor): argument [all …]
|
| /linux/Documentation/devicetree/bindings/sound/ |
| H A 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.
|
| H A 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 …]
|
| /linux/Documentation/tools/rv/ |
| H A D | rv-mon-sched.rst | 24 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
|
| H A 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**
|
| /linux/Documentation/devicetree/bindings/soc/bcm/ |
| H A 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";
|
| /linux/drivers/w1/slaves/ |
| H A D | Kconfig | 107 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/tools/verification/rvgen/rvgen/templates/dot2k/ |
| H A D | main.c | 19 * This is the self-generated part of the monitor. Generally, there is no need 27 * This is the instrumentation part of the monitor. 57 * This is the monitor register section.
|
| /linux/kernel/trace/rv/monitors/wwnr/ |
| H A D | Kconfig | 6 bool "wwnr monitor" 8 Enable wwnr (wakeup while not running) sample monitor, this is a 9 sample monitor that illustrates the usage of per-task monitor.
|
| /linux/kernel/trace/rv/monitors/nrp/ |
| H A D | Kconfig | 8 bool "nrp monitor" 10 Monitor to ensure preemption requires need resched. 11 This monitor is part of the sched monitors collection. 13 This monitor is unstable on arm64, say N unless you are testing it.
|
| /linux/Documentation/netlink/specs/ |
| H A D | dpll.yaml | 244 doc: pin signal failed qualification (e.g. frequency or phase monitor) 362 name: phase-offset-monitor 365 doc: Receive or request state of phase offset monitor feature. 366 If enabled, dpll device shall monitor and notify all currently 374 name: frequency-monitor 377 doc: Current or desired state of the frequency monitor feature. 638 - phase-offset-monitor 640 - frequency-monitor 658 - phase-offset-monitor 660 - frequency-monitor [all …]
|
| /linux/tools/power/cpupower/po/ |
| H A D | de.po | 72 #: 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 D | cs.po | 75 #: 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 …]
|
| /linux/arch/arm/mach-bcm/ |
| H A D | bcm_kona_smc.c | 60 * Only core 0 can run the secure monitor code. If an "smc" request 67 * cache and interrupt handling while the secure monitor executes. 76 * First, the secure monitor call itself (regardless of the specific 132 /* Flush caches for input data passed to Secure Monitor */ in __bcm_kona_smc() 135 /* Trap into Secure Monitor and record the request result */ in __bcm_kona_smc() 152 * Due to a limitation of the secure monitor, we must use the SMP in bcm_kona_smc() 153 * infrastructure to forward all secure monitor calls to Core 0. in bcm_kona_smc()
|