| /kernel/linux/common_modules/tzdriver/core/ |
| D | cmdmonitor.c | 3 * Decription: cmdmonitor function, monitor every cmd which is sent to TEE.
144 struct cmd_monitor *monitor = NULL; in is_thread_reported() local
147 list_for_each_entry(monitor, &g_cmd_monitor_list, list) { in is_thread_reported()
148 if (monitor->tid == tid && !is_tui_in_use(monitor->tid)) { in is_thread_reported()
149 ret = (monitor->is_reported || in is_thread_reported()
150 monitor->agent_call_count > in is_thread_reported()
275 struct cmd_monitor *monitor = NULL; in cmd_monitor_reset_context() local
280 list_for_each_entry(monitor, &g_cmd_monitor_list, list) { in cmd_monitor_reset_context()
281 if (monitor->pid == pid && monitor->tid == tid) { in cmd_monitor_reset_context()
282 get_time_spec(&monitor->sendtime); in cmd_monitor_reset_context()
[all …]
|
| /kernel/linux/linux-6.6/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 …]
|
| /kernel/linux/linux-6.6/kernel/trace/rv/ |
| 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 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 …]
|
| D | Kconfig | 32 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,
|
| /kernel/linux/linux-6.6/include/rv/ |
| D | da_monitor.h | 5 * 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 …]
|
| /kernel/linux/linux-5.10/fs/cachefiles/ |
| D | rdwr.c | 23 struct cachefiles_one_read *monitor = in cachefiles_read_waiter() local
24 container_of(wait, struct cachefiles_one_read, monitor); in cachefiles_read_waiter()
26 struct fscache_retrieval *op = monitor->op; in cachefiles_read_waiter()
33 monitor->netfs_page->index, mode, sync, in cachefiles_read_waiter()
39 _debug("--- monitor %p %lx ---", page, page->flags); in cachefiles_read_waiter()
54 * monitor being enqueued on the op->to_do list and the op getting in cachefiles_read_waiter()
61 list_add_tail(&monitor->op_link, &op->to_do); in cachefiles_read_waiter()
77 struct cachefiles_one_read *monitor) in cachefiles_read_reissue() argument
80 struct page *backpage = monitor->back_page, *backpage2; in cachefiles_read_reissue()
109 INIT_LIST_HEAD(&monitor->op_link); in cachefiles_read_reissue()
[all …]
|
| /kernel/linux/linux-5.10/Documentation/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 …]
|
| /kernel/linux/linux-6.6/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 …]
|
| /kernel/linux/linux-5.10/Documentation/devicetree/bindings/net/wireless/ |
| D | qcom,ath11k.yaml | 48 - description: interrupt event for ring host2rxdma-monitor-ring3
49 - description: interrupt event for ring host2rxdma-monitor-ring2
50 - description: interrupt event for ring host2rxdma-monitor-ring1
58 - description: interrupt event for ring rxdma2host-monitor-destination-mac3
59 - description: interrupt event for ring rxdma2host-monitor-destination-mac2
60 - description: interrupt event for ring rxdma2host-monitor-destination-mac1
64 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac3
65 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac2
66 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac1
104 - const: host2rxdma-monitor-ring3
[all …]
|
| /kernel/linux/linux-5.10/tools/power/cpupower/man/ |
| 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 …]
|
| /kernel/linux/linux-6.6/tools/power/cpupower/man/ |
| 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 …]
|
| /kernel/linux/linux-5.10/arch/powerpc/include/asm/ |
| D | reg_fsl_emb.h | 4 * Monitor.
13 /* Performance Monitor Registers */
20 /* Freescale Book E Performance Monitor APU Registers */
21 #define PMRN_PMC0 0x010 /* Performance Monitor Counter 0 */
22 #define PMRN_PMC1 0x011 /* Performance Monitor Counter 1 */
23 #define PMRN_PMC2 0x012 /* Performance Monitor Counter 2 */
24 #define PMRN_PMC3 0x013 /* Performance Monitor Counter 3 */
25 #define PMRN_PMC4 0x014 /* Performance Monitor Counter 4 */
26 #define PMRN_PMC5 0x015 /* Performance Monitor Counter 5 */
67 #define PMRN_UPMC0 0x000 /* User Performance Monitor Counter 0 */
[all …]
|
| /kernel/linux/linux-6.6/arch/powerpc/include/asm/ |
| D | reg_fsl_emb.h | 4 * Monitor.
13 /* Performance Monitor Registers */
27 /* Freescale Book E Performance Monitor APU Registers */
28 #define PMRN_PMC0 0x010 /* Performance Monitor Counter 0 */
29 #define PMRN_PMC1 0x011 /* Performance Monitor Counter 1 */
30 #define PMRN_PMC2 0x012 /* Performance Monitor Counter 2 */
31 #define PMRN_PMC3 0x013 /* Performance Monitor Counter 3 */
32 #define PMRN_PMC4 0x014 /* Performance Monitor Counter 4 */
33 #define PMRN_PMC5 0x015 /* Performance Monitor Counter 5 */
74 #define PMRN_UPMC0 0x000 /* User Performance Monitor Counter 0 */
[all …]
|
| /kernel/linux/linux-6.6/tools/verification/rv/src/ |
| D | rv.c | 28 * should_stop - check if the monitor should stop.
30 * Returns 1 if the monitor should stop, 0 otherwise.
72 * rv_mon - try to run a monitor passed as argument
81 " usage: rv mon [-h] monitor [monitor options]", in rv_mon()
83 " run a monitor", in rv_mon()
87 " monitor [monitor options]: the monitor, passing", in rv_mon()
88 " the arguments to the [monitor options]", in rv_mon()
111 * Call all possible monitor implementations, looking in rv_mon()
112 * for the [monitor]. in rv_mon()
117 err_msg("rv: monitor %s does not exist\n", monitor_name); in rv_mon()
[all …]
|
| D | in_kernel.c | 3 * in kernel monitor support: allows rv to control in-kernel monitors.
25 * __ikm_read_enable - reads monitor's enable status
29 * Returns the current status, or -1 if the monitor does not exist,
48 * ikm_read_enable - reads monitor's enable status
68 * ikm_write_enable - write to the monitor's enable file
90 * ikm_enable - enable a monitor
100 * ikm_disable - disable a monitor
112 * Return a dynamically allocated string with the monitor's
123 err_msg("ikm: error reading monitor %s desc\n", monitor_name); in ikm_read_desc()
133 * ikm_fill_monitor_definition - fill monitor's definition
[all …]
|
| /kernel/linux/linux-6.6/net/bluetooth/ |
| D | msft.c | 133 /* To synchronize add/remove address filter and monitor device event.*/
260 struct adv_monitor *monitor, in msft_le_monitor_advertisement_cb() argument
286 handle_data->mgmt_handle = monitor->handle; in msft_le_monitor_advertisement_cb()
292 monitor->state = ADV_MONITOR_STATE_OFFLOADED; in msft_le_monitor_advertisement_cb()
296 hci_free_adv_monitor(hdev, monitor); in msft_le_monitor_advertisement_cb()
369 struct adv_monitor *monitor, in msft_le_cancel_monitor_advertisement_cb() argument
390 handle_data = msft_find_handle_data(hdev, monitor->handle, true); in msft_le_cancel_monitor_advertisement_cb()
393 if (monitor->state == ADV_MONITOR_STATE_OFFLOADED) in msft_le_cancel_monitor_advertisement_cb()
394 monitor->state = ADV_MONITOR_STATE_REGISTERED; in msft_le_cancel_monitor_advertisement_cb()
396 /* Do not free the monitor if it is being removed due to in msft_le_cancel_monitor_advertisement_cb()
[all …]
|
| /kernel/linux/linux-6.6/Documentation/devicetree/bindings/net/wireless/ |
| D | qcom,ath11k.yaml | 120 - description: interrupt event for ring host2rxdma-monitor-ring3
121 - description: interrupt event for ring host2rxdma-monitor-ring2
122 - description: interrupt event for ring host2rxdma-monitor-ring1
130 - description: interrupt event for ring rxdma2host-monitor-destination-mac3
131 - description: interrupt event for ring rxdma2host-monitor-destination-mac2
132 - description: interrupt event for ring rxdma2host-monitor-destination-mac1
136 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac3
137 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac2
138 - description: interrupt event for ring rxdma2host-monitor-status-ring-mac1
174 - const: host2rxdma-monitor-ring3
[all …]
|
| /kernel/linux/linux-6.6/tools/verification/dot2/ |
| D | dot2k | 6 # dot2k: transform dot files into a monitor for the Linux kernel.
21 parser = argparse.ArgumentParser(description='transform .dot file into kernel rv monitor')
30 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))
45 print(" - Move it to the kernel's monitor directory")
|
| /kernel/linux/linux-6.6/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 …]
|
| /kernel/linux/linux-6.6/drivers/perf/ |
| D | Kconfig | 3 # Performance Monitor Drivers
6 menu "Performance monitor support"
74 Say y if you want to use the legacy CPU performance monitor
84 Say y if you want to use the CPU performance monitor
98 Provides support for the ARM SMMUv3 Performance Monitor Counter
108 Say y if you want to use the ARM performance monitor unit (PMU)
117 Provides support for performance monitor unit in ARM DynamIQ Shared
123 tristate "Freescale i.MX8 DDR perf monitor"
126 Provides support for the DDR performance monitor in i.MX8, which
131 tristate "Freescale i.MX9 DDR perf monitor"
[all …]
|
| /kernel/linux/linux-5.10/Documentation/devicetree/bindings/sound/ |
| 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 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
[all …]
|
| /kernel/linux/linux-5.10/drivers/perf/ |
| D | Kconfig | 3 # Performance Monitor Drivers
6 menu "Performance monitor support"
67 Provides support for the ARM SMMUv3 Performance Monitor Counter
76 Provides support for performance monitor unit in ARM DynamIQ Shared
82 tristate "Freescale i.MX8 DDR perf monitor"
85 Provides support for the DDR performance monitor in i.MX8, which
94 Provides support for the L2 cache performance monitor unit (PMU)
104 Provides support for the L3 cache performance monitor unit (PMU)
|
| /kernel/linux/linux-6.6/tools/verification/dot2/dot2k_templates/ |
| D | main_per_cpu.c | 20 * 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.
|