| /linux/Documentation/trace/rv/ |
| H A D | linear_temporal_logic.rst | 1 Linear temporal logic
18 Thus, RV monitors based on linear temporal logic (LTL) are introduced. This type
57 Example linear temporal logic
115 One book covering model checking and linear temporal logic is::
120 For an example of using linear temporal logic in software testing, see::
123 2022. Linear-time temporal logic guided greybox fuzzing. In Proceedings of the
131 Automatic Verification of Linear Temporal Logic. In: Dembiński, P., Średniawa,
|
| H A D | monitor_synthesis.rst | 47 * rv/ltl_monitor.h for linear temporal logic monitor.
68 Similarly, a linear temporal logic monitor can be generated with the following
85 - `rv/ltl_monitor` for linear temporal logic monitor
199 updated at precise times. For example, considering the following linear temporal
|
| /linux/Documentation/userspace-api/media/v4l/ |
| H A D | field-order.rst | 25 which field of a frame is older, the *temporal order*.
43 determined by the video standard. Hence the distinction between temporal
101 - Images contain both fields, interleaved line by line. The temporal
110 are always stored in temporal order, the older one first in
116 Fields are always stored in temporal order, the older one first in
121 temporal order, i. e. the older one first. To indicate the field
|
| /linux/include/linux/ |
| H A D | resctrl_types.h | 19 /* Non-Temporal Writes to Local Memory */
22 /* Non-Temporal Writes to Remote Memory */
|
| H A D | drbd.h | 187 C_DISCONNECTING, /* Temporal state on the way to StandAlone. */
190 /* These temporal states are all used on the way
|
| H A D | rv.h | 40 * struct ltl_monitor - A linear temporal logic runtime verification monitor
|
| /linux/Documentation/admin-guide/media/ |
| H A D | raspberrypi-pisp-be.rst | 51 - pispbe-tdn_input: output device for temporal denoise.
55 - pispbe-tdn_output: capture device for temporal denoise.
70 the temporal denoise block which are captured from the `pispbe-tdn_output`
|
| /linux/tools/perf/pmu-events/arch/arm64/fujitsu/monaka/ |
| H A D | sve.json | 192 …ly executed operation that reads from memory with a non-temporal hint due to an SVE non-temporal c…
196 …lly executed operation that writes to memory with a non-temporal hint due to an SVE non-temporal c…
|
| H A D | l2_cache.json | 12 …ts every write-back of data from the L2 cache caused by L2 replace, non-temporal-store and DC ZVA."
100 …tion": "This event counts every write-back of data from the L2 cache caused by non-temporal-store."
|
| /linux/drivers/gpu/drm/amd/display/dc/dce/ |
| H A D | dce_opp.c | 292 * 1) set temporal dither depth
298 * 7) enable temporal dithering
305 /*Disable temporal (frame modulation) dithering first*/ in set_temporal_dither()
325 /* Set temporal dithering depth*/ in set_temporal_dither()
331 /*Select legacy pattern based on FRC and Temporal level*/ in set_temporal_dither()
349 /*Enable bit reduction by temporal (frame modulation) dithering*/ in set_temporal_dither()
|
| /linux/drivers/media/platform/mediatek/vcodec/encoder/venc/ |
| H A D | venc_vp8_if.c | 61 * @ts_mode: temporal scalability mode (0: disable, 1: enable)
62 * support three temporal layers - 0: 7.5fps 1: 7.5fps 2: 15fps.
116 * @ts_mode: temporal scalability mode (0: disable, 1: enable)
117 * support three temporal layers - 0: 7.5fps 1: 7.5fps 2: 15fps.
|
| /linux/include/uapi/linux/media/raspberrypi/ |
| H A D | pisp_be_config.h | 170 * Temporal Denoise configuration
732 * @tdn_input_format: Temporal Denoise input format
733 * @tdn_decompress: Temporal Denoise decompress configuration
734 * @tdn: Temporal Denoise configuration
735 * @tdn_compress: Temporal Denoise compress configuration
736 * @tdn_output_format: Temporal Denoise output format
|
| /linux/drivers/gpu/drm/i915/ |
| H A D | i915_memcpy.c | 107 * non-temporal instructions where available. Note that all arguments
138 * @src to @dst using * non-temporal instructions where available, but
|
| /linux/Documentation/accel/amdxdna/ |
| H A D | amdnpu.rst | 119 Mixed Spatial and Temporal Scheduling
122 AMD XDNA architecture supports mixed spatial and temporal (time sharing)
138 temporal sharing of columns. The FW enforces the context-to-column(s) resource
|
| /linux/tools/perf/pmu-events/arch/x86/goldmontplus/ |
| H A D | cache.json | 767 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes have any t…
773 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes have any t…
778 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes hit the L2…
784 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes hit the L2…
789 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes miss the L…
795 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes miss the L…
800 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes true miss …
806 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes true miss …
811 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes outstandin…
817 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes outstandin…
|
| /linux/kernel/trace/rv/monitors/pagefault/ |
| H A D | pagefault.h | 5 * tools/verification/rvgen from the linear temporal logic specification.
|
| /linux/tools/perf/pmu-events/arch/x86/goldmont/ |
| H A D | cache.json | 745 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes that hit t…
751 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes that hit t…
756 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes that miss …
762 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes that miss …
767 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes that miss …
773 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes that miss …
778 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes that miss …
784 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes that miss …
789 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes that true …
795 …ncacheable write combining (USWC) memory region and full cache-line non-temporal writes that true …
|
| /linux/drivers/net/wireless/realtek/rtlwifi/rtl8192se/ |
| H A D | fw.h | 234 /* Temporal Key 1 (TK1) */
237 /* Temporal Key 2 (TK2) */
|
| /linux/drivers/media/pci/cx18/ |
| H A D | cx23418.h | 154 IN[1] - type, 0 - temporal, 1 - spatial, 2 - median
155 IN[2] - mode, temporal/spatial: 0 - disable, 1 - static, 2 - dynamic
158 IN[3] - strength, temporal 0 - 31, spatial 0 - 15
|
| /linux/Documentation/mm/ |
| H A D | multigen_lru.rst | 72 * Accesses exhibiting temporal locality
73 * Accesses not exhibiting temporal locality
|
| /linux/Documentation/driver-api/usb/ |
| H A D | anchors.rst | 45 are called in the reverse temporal order they were submitted.
|
| /linux/drivers/md/dm-vdo/indexer/ |
| H A D | open-chapter.c | 33 * each zone are interleaved to attempt to preserve temporal locality and assigned to record pages.
40 * interleaved to attempt to preserve temporal locality. When the index is reloaded, there may be a
|
| /linux/drivers/media/platform/mediatek/vcodec/encoder/ |
| H A D | venc_drv_if.h | 51 * @VENC_SET_PARAM_TS_MODE: set VP8 temporal scalability mode
|
| /linux/drivers/usb/host/ |
| H A D | ehci-timer.c | 218 * temporal order, so stop when we reach the first entry in the in ehci_handle_start_intr_unlinks()
250 * temporal order, so stop when we reach the first entry in the in ehci_handle_intr_unlinks()
|
| /linux/drivers/staging/media/ipu3/ |
| H A D | ipu3-css.h | 20 /* For temporal noise reduction DVS etc., format FRAME_FMT_YUV_LINE */
|