| /linux/Documentation/trace/rv/ |
| H A D | linear_temporal_logic.rst | 1 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 D | sve.json | 4 …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 D | l2_cache.json | 12 …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 D | resctrl_types.h | 1 /* 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 D | rv.h | 1 /* 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 D | i915_memcpy.c | 58 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 D | cache.json | 20 "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 D | cache.json | 20 "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 D | pisp_be_config.h | 1 /* 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 D | nouveau_connector.h | 79 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 D | ext-ctrls-codec.rst | 1 .. 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 D | dev-raw-vbi.rst | 1 .. 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 D | ext-ctrls-codec-stateless.rst | 1 .. 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 D | drm_cache.c | 3 * 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 D | linux-kernel.cat | 1 // 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 D | common-and-microarch.json | 129 "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 D | hva-h264.c | 1 // 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 D | cache.json | 5 …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 D | Kconfig | 1 # 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 D | cache.json | 113 …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 D | cpuid.csv | 1 # 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 D | cache.json | 77 …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 D | nl80211.h | 6 * 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 D | cache.json | 77 …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 D | tw5864-reg.h | 1 /* 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 …]
|