Home
last modified time | relevance | path

Searched +full:non +full:- +full:temporal (Results 1 – 25 of 47) 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/Documentation/RCU/
H A DwhatisRCU.rst3 What is RCU? -- "Read, Copy, Update"
24 …ries: Fundamentals https://www.linuxfoundation.org/webinars/unraveling-rcu-usage-mysteries
25 …Cases https://www.linuxfoundation.org/webinars/unraveling-rcu-usage-mysteries-additional-use-cases
31 during the 2.5 development effort that is optimized for read-mostly
50 :ref:`6. ANALOGY WITH READER-WRITER LOCKING <6_whatisRCU>`
70 everything, feel free to read the whole thing -- but if you are really
72 never need this document anyway. ;-)
77 ----------------
106 b. Wait for all previous readers to complete their RCU read-side
115 use much lighter-weight synchronization, in some cases, absolutely no
[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
4 .. _codec-controls:
25 .. _mpeg-control-id:
28 -----------------
36 .. _v4l2-mpeg-stream-type:
41 enum v4l2_mpeg_stream_type -
42 The MPEG-1, -2 or -4 output stream type. One cannot assume anything
49 .. flat-table::
50 :header-rows: 0
51 :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
4 .. _codec-stateless-controls:
19 .. _codec-stateless-control-id:
24 .. _v4l2-codec-stateless-h264:
44 .. flat-table:: struct v4l2_ctrl_h264_sps
45 :header-rows: 0
46 :stub-columns: 0
49 * - __u8
50 - ``profile_idc``
51 -
[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/Documentation/devicetree/bindings/riscv/
H A Dextensions.yaml1 # SPDX-License-Identifier: (GPL-2.0 OR MIT)
3 ---
5 $schema: http://devicetree.org/meta-schemas/core.yaml#
7 title: RISC-V ISA extensions
10 - Paul Walmsley <paul.walmsley@sifive.com>
11 - Palmer Dabbelt <palmer@sifive.com>
12 - Conor Dooley <conor@kernel.org>
15 RISC-V has a large number of extensions, some of which are "standard"
16 extensions, meaning they are ratified by RISC-V International, and others
36 Identifies the specific RISC-V instruction set architecture
[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/drivers/staging/rtl8723bs/core/
H A Drtw_security.c1 // SPDX-License-Identifier: GPL-2.0
4 * Copyright(c) 2007 - 2011 Realtek Corporation. All rights reserved.
47 struct pkt_attrib *pattrib = &((struct xmit_frame *)pxmitframe)->attrib; in rtw_wep_encrypt()
48 struct security_priv *psecuritypriv = &padapter->securitypriv; in rtw_wep_encrypt()
49 struct xmit_priv *pxmitpriv = &padapter->xmitpriv; in rtw_wep_encrypt()
50 struct arc4_ctx *ctx = &psecuritypriv->xmit_arc4_ctx; in rtw_wep_encrypt()
52 if (!((struct xmit_frame *)pxmitframe)->buf_addr) in rtw_wep_encrypt()
56 pframe = ((struct xmit_frame *)pxmitframe)->buf_addr + hw_hdr_offset; in rtw_wep_encrypt()
59 if ((pattrib->encrypt == _WEP40_) || (pattrib->encrypt == _WEP104_)) { in rtw_wep_encrypt()
60 keylength = psecuritypriv->dot11DefKeylen[psecuritypriv->dot11PrivacyKeyIndex]; in rtw_wep_encrypt()
[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/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 …]

12