Home
last modified time | relevance | path

Searched +full:non +full:- +full:temporal (Results 1 – 25 of 45) sorted by relevance

12

/linux/Documentation/trace/rv/
H A Dlinear_temporal_logic.rst1 Linear temporal logic
5 ------------
16 and error-prone.
18 Thus, RV monitors based on linear temporal logic (LTL) are introduced. This type
24 Christel Baier and Joost-Pieter Katoen: Principles of Model Checking, The MIT
28 -------
32 may not be well-versed in LTL.
38 true, false, user-defined names consisting of upper-case characters, digits,
57 Example linear temporal logic
58 -----------------------------
[all …]
/linux/tools/perf/pmu-events/arch/arm64/fujitsu/monaka/
H A Dsve.json4 …ding the Advanced SIMD scalar instructions and the instructions listed in Non-SIMD SVE instruction…
8 …ecturally executed SVE instructions, including the instructions listed in Non-SIMD SVE instruction…
12 …ecturally executed SVE instructions, including the instructions listed in Non-SIMD SVE instruction…
20 "BriefDescription": "This event counts all architecturally executed micro-operation."
28 …ations due to scalar, Advanced SIMD, and SVE instructions listed in Floating-point instructions se…
32 …on": "This event counts architecturally executed floating-point fused multiply-add and multiply-su…
36 …"BriefDescription": "This event counts architecturally executed floating-point reciprocal estimate…
40 …uted floating-point convert operations due to the scalar, Advanced SIMD, and SVE floating-point co…
60 …"BriefDescription": "This event counts architecturally executed SVE 64-bit integer divide operatio…
76 …"BriefDescription": "This event counts architecturally executed SVE integer 64-bit x 64-bit multip…
[all …]
H A Dl2_cache.json12 …escription": "This event counts every write-back of data from the L2 cache caused by L2 replace, n…
40 …"BriefDescription": "This event counts every write-back of data from the L2 cache caused by L2 rep…
95 …"BriefDescription": "This event counts every write-back of data from the L2 cache caused by L2 rep…
100 …BriefDescription": "This event counts every write-back of data from the L2 cache caused by non-tem…
105 …"BriefDescription": "This event counts every write-back of data from the L2 cache caused by DC ZVA…
110 "BriefDescription": "This event counts every flush-back (drop) of data from the L2 cache."
/linux/include/linux/
H A Dresctrl_types.h1 /* SPDX-License-Identifier: GPL-2.0 */
19 /* Non-Temporal Writes to Local Memory */
22 /* Non-Temporal Writes to Remote Memory */
57 #define QOS_NUM_L3_MBM_EVENTS (QOS_L3_MBM_LOCAL_EVENT_ID - QOS_L3_MBM_TOTAL_EVENT_ID + 1)
58 #define MBM_STATE_IDX(evt) ((evt) - QOS_L3_MBM_TOTAL_EVENT_ID)
H A Drv.h1 /* SPDX-License-Identifier: GPL-2.0 */
20 * Deterministic automaton per-object variables.
38 * struct ltl_monitor - A linear temporal logic runtime verification monitor
40 * non-deterministic state machine, the monitor can be in multiple
43 * - The monitor has not started yet (e.g. because not all
45 * - There is no possible state to be in. In other words, a
58 for (int i = 0; i < ARRAY_SIZE(mon->states); ++i) { in rv_ltl_valid_state()
59 if (mon->states[i]) in rv_ltl_valid_state()
67 for (int i = 0; i < ARRAY_SIZE(mon->unknown_atoms); ++i) { in rv_ltl_all_atoms_known()
68 if (mon->unknown_atoms[i]) in rv_ltl_all_atoms_known()
/linux/drivers/gpu/drm/i915/
H A Di915_memcpy.c58 len -= 4; in __memcpy_ntdqa()
60 while (len--) { in __memcpy_ntdqa()
87 len -= 4; in __memcpy_ntdqu()
89 while (len--) { in __memcpy_ntdqu()
107 * non-temporal instructions where available. Note that all arguments
138 * @src to @dst using * non-temporal instructions where available, but
140 * potential 16-byte read past the end.
150 unsigned long x = min(ALIGN(addr, 16) - addr, len); in i915_unaligned_memcpy_from_wc()
154 len -= x; in i915_unaligned_memcpy_from_wc()
166 * Some hypervisors (e.g. KVM) don't support VEX-prefix instructions in i915_memcpy_init_early()
/linux/tools/perf/pmu-events/arch/x86/goldmontplus/
H A Dcache.json20 "BriefDescription": "Cycles code-fetch stalled due to an outstanding ICache miss.",
33 …from the intra-die interconnect (IDI) fabric. The XQ may reject transactions from the L2Q (non-cac…
176 "BriefDescription": "Memory uops retired that split a cache-line (Precise event capable)",
187 "BriefDescription": "Load uops retired that split a cache-line (Precise event capable)",
198 "BriefDescription": "Stores uops retired that split a cache-line (Precise event capable)",
602 …"BriefDescription": "Counts demand instruction cacheline and I-side prefetch requests that miss th…
608 …"PublicDescription": "Counts demand instruction cacheline and I-side prefetch requests that miss t…
613 …"BriefDescription": "Counts demand instruction cacheline and I-side prefetch requests that miss th…
619 …"PublicDescription": "Counts demand instruction cacheline and I-side prefetch requests that miss t…
624 …"BriefDescription": "Counts demand instruction cacheline and I-side prefetch requests that miss th…
[all …]
/linux/tools/perf/pmu-events/arch/x86/goldmont/
H A Dcache.json20 "BriefDescription": "Cycles code-fetch stalled due to an outstanding ICache miss.",
33 …from the intra-die interconnect (IDI) fabric. The XQ may reject transactions from the L2Q (non-cac…
176 "BriefDescription": "Memory uops retired that split a cache-line (Precise event capable)",
187 "BriefDescription": "Load uops retired that split a cache-line (Precise event capable)",
198 "BriefDescription": "Stores uops retired that split a cache-line (Precise event capable)",
558 …"BriefDescription": "Counts demand instruction cacheline and I-side prefetch requests that miss th…
564 …"PublicDescription": "Counts demand instruction cacheline and I-side prefetch requests that miss t…
569 …"BriefDescription": "Counts demand instruction cacheline and I-side prefetch requests that miss th…
575 …"PublicDescription": "Counts demand instruction cacheline and I-side prefetch requests that miss t…
580 …"BriefDescription": "Counts demand instruction cacheline and I-side prefetch requests that miss th…
[all …]
/linux/include/uapi/linux/media/raspberrypi/
H A Dpisp_be_config.h1 /* SPDX-License-Identifier: GPL-2.0-only WITH Linux-syscall-note */
5 * Copyright (C) 2021 - Raspberry Pi Ltd
98 * struct pisp_be_global_config - PiSP global enable bitmaps
112 * struct pisp_be_input_buffer_config - PiSP Back End input buffer
121 * struct pisp_be_dpc_config - PiS
[all...]
/linux/drivers/gpu/drm/nouveau/
H A Dnouveau_connector.h79 NVDEF(NV907D, HEAD_SET_DITHER_CONTROL, MODE, TEMPORAL),
147 * even on pre-nv50 where we do not support atomic. This embedded
148 * version gets used in the non atomic modeset case.
165 if (connector->connector_type != DRM_MODE_CONNECTOR_DisplayPort) in nouveau_connector_is_mst()
172 encoder = &nv_encoder->base.base; in nouveau_connector_is_mst()
173 return encoder->encoder_type == DRM_MODE_ENCODER_DPMST; in nouveau_connector_is_mst()
183 struct drm_device *dev = nv_crtc->base.dev; in nouveau_crtc_connector_get()
191 if (connector->encoder && connector->encoder->crtc == crtc) { in nouveau_crtc_connector_get()
/linux/Documentation/userspace-api/media/v4l/
H A Dext-ctrls-codec.rst1 .. SPDX-License-Identifier: GFDL-1.1-no-invariants-or-later
3 .. _codec-controls:
24 .. _mpeg-control-id:
27 -----------------
35 .. _v4l2-mpeg-stream-type:
40 enum v4l2_mpeg_stream_type -
41 The MPEG-1, -2 or -4 output stream type. One cannot assume anything
48 .. flat-table::
49 :header-rows: 0
50 :stub-columns: 0
[all …]
H A Ddev-raw-vbi.rst1 .. SPDX-License-Identifier: GFDL-1.1-no-invariants-or-later
4 .. _raw-vbi:
106 .. flat-table:: struct v4l2_vbi_format
107 :header-rows: 0
108 :stub-columns: 0
111 * - __u32
112 - ``sampling_rate``
113 - Samples per second, i. e. unit 1 Hz.
114 * - __u32
115 - ``offset``
[all …]
H A Dext-ctrls-codec-stateless.rst1 .. SPDX-License-Identifier: GFDL-1.1-no-invariants-or-later
3 .. _codec-stateless-controls:
18 .. _codec-stateless-control-id:
23 .. _v4l2-codec-stateless-h264:
43 .. flat-table:: struct v4l2_ctrl_h264_sps
44 :header-rows: 0
45 :stub-columns: 0
48 * - __u8
49 - ``profile_idc``
50 -
[all …]
/linux/drivers/gpu/drm/
H A Ddrm_cache.c3 * Copyright (c) 2006-2007 Tungsten Graphics, Inc., Cedar Park, TX., USA
20 * FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL
28 * Authors: Thomas Hellström <thomas-at-tungstengraphics-dot-com>
34 #include <linux/iosys-map.h>
79 * drm_clflush_pages - Flush dcache lines of a set of pages.
120 * drm_clflush_sg - Flush dcache lines pointing to a scather-gather.
149 * drm_clflush_virt_range - Flush dcache lines of a region
164 addr = (void *)(((unsigned long)addr) & -size); in drm_clflush_virt_range()
168 clflushopt(end - 1); /* force serialisation */ in drm_clflush_virt_range()
204 for (tmp = iomem_resource.child; tmp; tmp = tmp->sibling) in drm_need_swiotlb()
[all …]
/linux/tools/memory-model/
H A Dlinux-kernel.cat1 // SPDX-License-Identifier: GPL-2.0+
9 * "Frightening small children and disconcerting grown-ups: Concurrency
14 "Linux-kernel memory consistency model"
28 let acq-po = [Acquire] ; po ; [M]
29 let po-rel = [M] ; po ; [Release]
30 let po-unlock-lock-p
[all...]
/linux/tools/perf/pmu-events/arch/arm64/
H A Dcommon-and-microarch.json129 "PublicDescription": "Attributable Level 1 data cache write-back",
132 "BriefDescription": "Attributable Level 1 data cache write-back"
147 "PublicDescription": "Attributable Level 2 data cache write-back",
150 "BriefDescription": "Attributable Level 2 data cache write-back"
283 "PublicDescription": "Access to another socket in a multi-socket system",
286 "BriefDescription": "Access to another socket in a multi-socket system"
323 … "PublicDescription": "Attributable memory read access to another socket in a multi-socket system",
326 … "BriefDescription": "Attributable memory read access to another socket in a multi-socket system"
329 …"PublicDescription": "Level 1 data cache long-latency read miss. The counter counts each memory r…
332 "BriefDescription": "Level 1 data cache long-latency read miss"
[all …]
/linux/drivers/media/platform/st/sti/hva/
H A Dhva-h264.c1 // SPDX-License-Identifier: GPL-2.0
9 #include "hva-hw.h"
23 /* formula to get temporal or spatial data size */
32 /* source buffer copy in YUV 420 MB-tiled format with size=16*256*3/2 */
200 * @brc_type: selects the bit-rate control algorithm
205 * @non_VCL_NALU_Size: size of non-VCL NALUs (SPS, PPS, filler),
213 * @delay: End-to-End Initial Delay
251 * Bit 0-6 used for qp offset (value -64 to 63).
437 u32 frame_order = frame_num % ctrls->gop_size; in hva_h264_fill_slice_header()
439 if (!(frame_num % ctrls->gop_size)) in hva_h264_fill_slice_header()
[all …]
/linux/tools/perf/pmu-events/arch/x86/amdzen4/
H A Dcache.json5 …iption": "Miss Address Buffer (MAB) entries allocated by a Load-Store (LS) pipe for load-store all…
11 …"BriefDescription": "Miss Address Buffer (MAB) entries allocated by a Load-Store (LS) pipe for har…
17 …"BriefDescription": "Miss Address Buffer (MAB) entries allocated by a Load-Store (LS) pipe for all…
161 …eculative) of type PrefetchNTA (move data with minimum cache pollution i.e. non-temporal access).",
287 …"BriefDescription": "In-flight L1 data cache misses i.e. Miss Address Buffer (MAB) allocations eac…
292 …"BriefDescription": "L2 cache requests of non-cacheable type (non-cached data and instructions rea…
364 …e requests (not including L2 prefetch) with status: instruction cache hit non-modifiable line in L…
406 …che requests (not including L2 prefetch) with status: data cache read hit non-modifiable line in L…
/linux/crypto/
H A DKconfig1 # SPDX-License-Identifier: GPL-2.0
156 cbc(aes), and the support for the crypto self-tests.
178 bool "Enable cryptographic self-tests"
181 Enable the cryptographic self-tests.
183 The cryptographic self-tests run at boot time, or at algorithm
188 - Development and pre-release testing. In this case, also enable
192 - Production kernels, to help prevent buggy drivers from being used
193 and/or meet FIPS 140-3 pre-operational testing requirements. In
197 bool "Enable the full set of cryptographic self-tests"
200 Enable the full set of cryptographic self-tests for each algorithm.
[all …]
/linux/tools/perf/pmu-events/arch/x86/jaketown/
H A Dcache.json113 …ion": "Count the number of modified Lines evicted from L1 and missed L2. (Non-rejected WBs from th…
386 "BriefDescription": "Core-originated cacheable demand requests missed LLC.",
394 "BriefDescription": "Core-originated cacheable demand requests that refer to LLC.",
402 …iption": "Retired load uops which data sources were LLC and cross-core snoop hits in on-pkg core c…
406-level cache (L3) and were found in a non-modified state in a neighboring core's private cache (sa…
415 …his event counts retired load uops that hit in the last-level cache (L3) and were found in a non-m…
420 …n": "Retired load uops which data sources were LLC hit and cross-core snoop missed in on-pkg core …
483 …"PublicDescription": "This event counts retired load uops that hit in the last-level (L3) cache wi…
488 "BriefDescription": "Miss in last-level (L3) cache. Excludes Unknown data-source.",
530 …ription": "This event counts line-splitted load uops retired to the architected path. A line split…
[all …]
/linux/tools/arch/x86/kcpuid/
H A Dcpuid.csv1 # SPDX-License-Identifier: CC0-1.0
2 # Generator: x86-cpuid-db v2.4
5 # Auto-generated file.
6 # Please submit all updates and bugfixes to https://x86-cpuid.org
16 0x0, 0, ebx, 31:0, cpu_vendorid_0 , CPU vendor ID string bytes 0 - 3
17 0x0, 0, ecx, 31:0, cpu_vendorid_2 , CPU vendor ID string bytes 8 - 11
18 0x0, 0, edx, 31:0, cpu_vendorid_1 , CPU vendor ID string bytes 4 -
[all...]
/linux/tools/perf/pmu-events/arch/x86/ivybridge/
H A Dcache.json77 …ion": "Count the number of modified Lines evicted from L1 and missed L2. (Non-rejected WBs from th…
374 "BriefDescription": "Core-originated cacheable demand requests missed LLC",
383 "BriefDescription": "Core-originated cacheable demand requests that refer to LLC",
392 …iption": "Retired load uops which data sources were LLC and cross-core snoop hits in on-pkg core c…
410 …n": "Retired load uops which data sources were LLC hit and cross-core snoop missed in on-pkg core …
432 …"PublicDescription": "Retired load uops whose data source was local memory (cross-socket snoop not…
455 "BriefDescription": "Retired load uops which data sources following L1 data-cache miss.",
491 "BriefDescription": "Miss in last-level (L3) cache. Excludes Unknown data-source.",
704 …hat hit in the LLC and sibling core snoops are not needed as either the core-valid bit is not set …
754 …hat hit in the LLC and sibling core snoops are not needed as either the core-valid bit is not set …
[all …]
/linux/include/uapi/linux/
H A Dnl80211.h6 * Copyright 2006-2010 Johannes Berg <johannes@sipsolutions.net>
13 * Copyright 2015-2017 Intel Deutschland GmbH
14 * Copyright (C) 2018-2025 Intel Corporation
32 * be careful not to break things - i.e. don't move anything around or so
74 * - a setup station entry is added, not yet authorized, without any rate
76 * - when the TDLS setup is done, a single NL80211_CMD_SET_STATION is valid
79 * - %NL80211_TDLS_ENABLE_LINK is then used
80 * - after this, the only valid operation is to remove it by tearing down
95 * Frame registration is done on a per-interface basis and registrations
137 * software, like the AP-VLA
[all...]
/linux/tools/perf/pmu-events/arch/x86/ivytown/
H A Dcache.json77 …ion": "Count the number of modified Lines evicted from L1 and missed L2. (Non-rejected WBs from th…
374 "BriefDescription": "Core-originated cacheable demand requests missed LLC",
383 "BriefDescription": "Core-originated cacheable demand requests that refer to LLC",
392 …iption": "Retired load uops which data sources were LLC and cross-core snoop hits in on-pkg core c…
410 …n": "Retired load uops which data sources were LLC hit and cross-core snoop missed in on-pkg core …
478 "BriefDescription": "Retired load uops which data sources following L1 data-cache miss.",
514 "BriefDescription": "Miss in last-level (L3) cache. Excludes Unknown data-source.",
737 …hat hit in the LLC and sibling core snoops are not needed as either the core-valid bit is not set …
787 …hat hit in the LLC and sibling core snoops are not needed as either the core-valid bit is not set …
837 …hat hit in the LLC and sibling core snoops are not needed as either the core-valid bit is not set …
[all …]
/linux/drivers/media/pci/tw5864/
H A Dtw5864-reg.h1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 * TW5864 driver - registers description
8 /* According to TW5864_datasheet_0.6d.pdf, tw5864b1-ds.pdf */
10 /* Register Description - Direct Map Space */
11 /* 0x0000 ~ 0x1ffc - H264 Register Map */
76 * 0->3 4 VLC data buffer in DDR (1M each)
77 * 0->7 8 VLC data buffer in DDR (512k each)
147 /* DDR-DPR Burst Read Enable */
157 * 0 Single R/W Access (Host <-> DDR)
158 * 1 Burst R/W Access (Host <-> DPR)
[all …]

12