Home
last modified time | relevance | path

Searched full:clause (Results 1 – 25 of 5769) sorted by relevance

12345678910>>...231

/linux-6.8/tools/memory-model/Documentation/
Dlitmus-tests.txt202 indicates that the bad result flagged by the "exists" clause never
207 "exists" clause indicates a bad result. To see this, invert the "exists"
208 clause's condition and run the test.) The numbers ("0 3") at the end
210 clause (0) and the number not not satisfying that clause (3).
222 "Never" on line 10, the state flagged by the "exists" clause is not
232 "No" says that the "exists" clause was not satisfied by any execution,
235 of end states satisfying and not satisfying the "exists" clause, just
237 clause so that you don't have to look it up in the litmus-test file.
280 means that the "exists" clause on line 23 must change "1:r1=0" to
346 hope that the "exists" clause cannot be satisfied. LKMM agrees:
[all …]
Dcontrol-dependencies.txt182 In addition, control dependencies apply only to the then-clause and
183 else-clause of the "if" statement in question. In particular, they do
212 only to the stores in the then-clause and else-clause of the "if" statement
246 (*) Control dependencies apply only to the then-clause and else-clause
Dlocking.txt222 This example requires familiarity with the herd7 "filter" clause, so
229 loads, with a "filter" clause to constrain the first to return the
259 The "filter" clause takes this into account, constraining "1:r0" to
262 Then the "exists" clause checks to see if CPU1() acquired its lock first,
263 which should not happen given the filter clause because CPU0() updates
/linux-6.8/LICENSES/preferred/
DBSD-2-Clause1 Valid-License-Identifier: BSD-2-Clause
2 SPDX-URL: https://spdx.org/licenses/BSD-2-Clause.html
4 To use the BSD 2-clause "Simplified" License put the following SPDX
7 SPDX-License-Identifier: BSD-2-Clause
DBSD-3-Clause1 Valid-License-Identifier: BSD-3-Clause
2 SPDX-URL: https://spdx.org/licenses/BSD-3-Clause.html
4 To use the BSD 3-clause "New" or "Revised" License put the following SPDX
7 SPDX-License-Identifier: BSD-3-Clause
DBSD-3-Clause-Clear1 Valid-License-Identifier: BSD-3-Clause-Clear
2 SPDX-URL: https://spdx.org/licenses/BSD-3-Clause-Clear.html
4 To use the BSD 3-clause "Clear" License put the following SPDX
7 SPDX-License-Identifier: BSD-3-Clause-Clear
/linux-6.8/Documentation/networking/
Dphy.rst276 This is the IEEE 802.3 Clause 129 defined 5GBASE-R protocol. It is
277 identical to the 10GBASE-R protocol defined in Clause 49, with the
282 This is the IEEE 802.3 Clause 49 defined 10GBASE-R protocol used with
293 This is the IEEE 802.3 Clause 49 defined 10GBASE-R with Clause 73
301 This is the IEEE 802.3 PCS Clause 107 defined 25GBASE-R protocol.
307 This defines IEEE 802.3 Clause 24. The link operates at a fixed data
321 This is 1000BASE-X as defined by IEEE 802.3 Clause 36 with Clause 73
322 autonegotiation. Generally, it will be used with a Clause 70 PMD. To
323 contrast with the 1000BASE-X phy mode used for Clause 38 and 39 PMDs, this
/linux-6.8/Documentation/devicetree/bindings/net/
Dcortina.txt8 devices make use of registers that are not compatible with Clause 45 or
9 Clause 22, therefore they need to be described using the
Dbrcm,mdio-mux-iproc.yaml1 # SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
15 C-45 Clause. When child bus is selected, one needs to select these two
/linux-6.8/drivers/net/pcs/
Dpcs-xpcs.h42 /* Clause 73 Defines */
55 /* Clause 37 Defines */
101 #define AN_CL37_EN BIT(12) /* Enable Clause 37 auto-nego */
/linux-6.8/drivers/net/mdio/
Dmdio-ipq4019.c1 // SPDX-License-Identifier: GPL-2.0 OR BSD-3-Clause
29 /* 0 = Clause 22, 1 = Clause 45 */
181 /* Enter Clause 22 mode */ in ipq4019_mdio_write_c22()
Dmdio-bitbang.c114 Clause 45 operation uses 00 for the start and 11, 10 for in mdiobb_cmd()
128 /* In clause 45 mode all commands are prefixed by MDIO_ADDR to specify the
130 MDIO_WRITE except for a different code. Theoretically clause 45 and normal
/linux-6.8/drivers/media/test-drivers/vidtv/
Dvidtv_s302m.h25 /* see SMPTE 302M 2007 clause 7.3 */
28 /* see ETSI TS 102 154 v.1.2.1 clause 7.3.5 */
Dvidtv_ts.c95 /* cc is not incremented, but it is needed. see 13818-1 clause 2.4.3.3 */ in vidtv_ts_pcr_write_into()
100 /* 13818-1 clause 2.4.3.5 */ in vidtv_ts_pcr_write_into()
/linux-6.8/include/uapi/rdma/
Dvmw_pvrdma-abi.h1 /* SPDX-License-Identifier: ((GPL-2.0 WITH Linux-syscall-note) OR BSD-2-Clause) */
8 * 2-Clause License. This program is distributed in the hope that it
18 * The BSD 2-Clause License
/linux-6.8/include/uapi/linux/
Drio_cm_cdev.h1 /* SPDX-License-Identifier: ((GPL-2.0 WITH Linux-syscall-note) OR BSD-3-Clause) */
10 * License(GPL) Version 2, or the BSD-3 Clause license below:
/linux-6.8/drivers/infiniband/hw/vmw_pvrdma/
Dpvrdma_ring.h7 * 2-Clause License. This program is distributed in the hope that it
17 * The BSD 2-Clause License
Dpvrdma_cmd.c7 * 2-Clause License. This program is distributed in the hope that it
17 * The BSD 2-Clause License
Dpvrdma_doorbell.c7 * 2-Clause License. This program is distributed in the hope that it
17 * The BSD 2-Clause License
/linux-6.8/drivers/net/phy/
Dswphy.c164 * We do not support emulating Clause 45 over Clause 22 register in swphy_read_reg()
Dadin.c64 /* EEE register addresses, accessible via Clause 22 access using
191 * struct adin_clause45_mmd_map - map to convert Clause 45 regs to Clause 22
192 * @devad: device address used in Clause 45 access
193 * @cl45_regnum: register address defined by Clause 45
194 * @adin_regnum: equivalent register address accessible via Clause 22
/linux-6.8/Documentation/translations/zh_CN/process/
Dlicense-rules.rst110 // SPDX-License-Identifier: GPL-2.0 OR BSD-3-Clause
115 // SPDX-License-Identifier: GPL-2.0 OR BSD-2-Clause
119 // SPDX-License-Identifier: GPL-1.0+ OR BSD-3-Clause OR OpenSSL
/linux-6.8/Documentation/translations/zh_TW/process/
Dlicense-rules.rst111 // SPDX-License-Identifier: GPL-2.0 OR BSD-3-Clause
116 // SPDX-License-Identifier: GPL-2.0 OR BSD-2-Clause
120 // SPDX-License-Identifier: GPL-1.0+ OR BSD-3-Clause OR OpenSSL
/linux-6.8/include/linux/
Dmdio.h3 * linux/mdio.h: definitions for MDIO (clause 45) transceivers
143 * commonly used clause 22 registers will be translated into
144 * clause 45 registers.
501 * mii_c73_mod_linkmode - convert a Clause 73 advertisement to linkmodes
505 * Convert an IEEE 802.3 Clause 73 advertisement to ethtool link modes.
/linux-6.8/Documentation/userspace-api/netlink/
Dnetlink-raw.rst1 .. SPDX-License-Identifier: BSD-3-Clause
31 # SPDX-License-Identifier: ((GPL-2.0 WITH Linux-syscall-note) OR BSD-3-Clause)

12345678910>>...231