Home
last modified time | relevance | path

Searched full:semantic (Results 1 – 25 of 66) sorted by relevance

123

/linux/Documentation/dev-tools/
H A Dcoccinelle.rst19 The semantic patches included in the kernel use features and options
67 For Semantic Patch Language(SmPL) grammar documentation refer to:
92 Note that not all semantic patches implement all modes. For easy use
106 To make a report for every semantic patch, run the following command::
115 The coccicheck target applies every semantic patch available in the
118 For each semantic patch, a commit message is proposed. It gives a
119 description of the problem being checked by the semantic patch, and
151 Using Coccinelle with a single semantic patch
155 semantic patch. In that case, the variable must be initialized with
156 the name of the semantic patch to apply.
[all …]
H A Dsparse.rst8 Sparse is a semantic checker for C programs; it can be used to find a
/linux/scripts/
H A Dcoccicheck116 echo 'Note however that some modes are not implemented by some semantic patches.'
219 echo ' The semantic patch that makes this change is available'
221 echo ' The semantic patch that makes this report is available'
223 echo ' The semantic patch that spots this code is available'
225 echo ' The semantic patch that makes this Org report is available'
227 echo ' The semantic patch that makes this output is available'
231 echo ' More information about semantic patching is available at'
236 echo 'Semantic patch information:'
H A Dgit.orderFile34 # semantic patches
/linux/Documentation/ABI/stable/
H A Dsysfs-bus-firewire8 See IEEE 1212 for semantic definitions.
27 See IEEE 1212 for semantic definitions.
61 See IEEE 1212 for semantic definitions.
80 See IEEE 1212 for semantic definitions.
/linux/scripts/coccinelle/api/
H A Dstream_open.cocci238 …"WARNING: %s: .read() and .write() have stream semantic; safe to change nonseekable_open -> stream…
298 …"WARNING: %s: .read() has stream semantic; safe to change nonseekable_open -> stream_open." % (fop…
346 …"WARNING: %s: .write() has stream semantic; safe to change nonseekable_open -> stream_open." % (fo…
/linux/tools/perf/util/
H A Dsetup.py41 if not clang_has_option("-fno-semantic-interposition"):
42 vars[var] = sub("-fno-semantic-interposition", "", vars[var])
/linux/tools/testing/selftests/ftrace/test.d/trigger/
H A Dtrigger-stacktrace.tc27 echo "Test stacktrace semantic errors"
H A Dtrigger-snapshot.tc30 echo "Test snapshot semantic errors"
H A Dtrigger-traceonoff.tc31 echo "Test semantic error for traceoff/on trigger"
H A Dtrigger-filter.tc22 echo "Test semantic error for trigger filter"
H A Dtrigger-eventonoff.tc38 echo "Test semantic error for event enable/disable trigger"
/linux/include/uapi/sound/sof/
H A Dabi.h10 * SOF ABI versioning is based on Semantic Versioning where we have a given
/linux/tools/testing/selftests/rseq/
H A Dbasic_percpu_ops_test.c98 * Acquire semantic when taking lock after control dependency. in rseq_this_cpu_lock()
109 * Release lock, with release semantic. Matches in rseq_percpu_unlock()
H A Drseq-abi.h82 * have a special semantic: the former means "rseq uninitialized",
/linux/scripts/coccinelle/locks/
H A Dmini_lock.cocci2 /// Find missing unlocks. This semantic match considers the specific case
/linux/scripts/coccinelle/null/
H A Dkmerr.cocci2 /// This semantic patch looks for kmalloc etc that are not followed by a
/linux/arch/arm/include/asm/
H A Dmpu.h33 /* C, B and TEX[2:0] bits only have semantic meanings when grouped */
/linux/drivers/tty/vt/
H A Dgen_ucs_fallback_table.py90 # These provide better semantic meaning than unidecode's mappings
96 # Double arrows with their directional semantic mappings
/linux/include/uapi/linux/
H A Drseq.h82 * have a special semantic: the former means "rseq uninitialized",
/linux/kernel/
H A DKconfig.preempt112 semantic non-PREEMPT_RT builds have. This should not be needed
/linux/Documentation/bpf/libbpf/
H A Dlibbpf_naming_convention.rst97 semantic of existing symbol is changed, ABI version should be bumped.
/linux/Documentation/livepatch/
H A Dlivepatch.rst55 have return values. In other words, each function has a defined semantic.
57 Many fixes do not change the semantic of the modified functions. For
/linux/Documentation/process/
H A D4.Coding.rst317 problems. Quite a few "semantic patches" for the kernel have been packaged
319 through those semantic patches and report on any problems found. See
/linux/Documentation/netlink/specs/
H A Dnet_shaper.yaml144 Numeric identifier of a shaper. The id semantic depends on

123