| /linux-5.10/Documentation/devicetree/bindings/regulator/ |
| D | tps62360-regulator.txt | 15 If this property is missing, then assume that there is no GPIO
18 If this property is missing, then assume that there is no GPIO
21 If this property is missing, then assume the state as low (0).
23 If this property is missing, then assume the state as low (0).
|
| /linux-5.10/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/ |
| D | preempt.c | 6 #include "assume.h"
66 assume(thread_cpu_id >= 0); in preempt_disable()
67 assume(thread_cpu_id < NR_CPUS); in preempt_disable()
|
| D | assume.h | 7 #define assume(x) \ macro
14 #define assume(x) __CPROVER_assume(x) macro
|
| D | locks.h | 9 #include "assume.h"
82 * CBMC doesn't support busy waiting, so just assume that the in lock_impl_lock()
85 assume(lock_impl_trylock(lock)); in lock_impl_lock()
194 assume(prev_count); in wait_for_completion()
|
| D | simple_sync_srcu.c | 46 assume(try_check_zero(sp, idx, trycount)); in synchronize_srcu()
50 assume(try_check_zero(sp, idx^1, trycount)); in synchronize_srcu()
|
| D | misc.h | 4 #include "assume.h"
25 #define udelay(x) assume(0)
|
| /linux-5.10/net/802/ |
| D | fddi.c | 100 * to start of packet data. Assume 802.2 SNAP frames for now. in fddi_type_trans()
133 /* Assume 802.2 SNAP frames, for now */ in fddi_type_trans()
149 dev->hard_header_len = FDDI_K_SNAP_HLEN+3; /* Assume 802.2 SNAP hdr len + 3 pad bytes */ in fddi_setup()
150 dev->mtu = FDDI_K_SNAP_DLEN; /* Assume max payload of 802.2 SNAP frame */ in fddi_setup()
|
| /linux-5.10/arch/x86/kernel/ |
| D | ebda.c | 21 * value and assume that everything above that value (up to 1MB) is
62 * area is absent. We'll just have to assume that the in reserve_bios_regions()
78 * If bios_start is less than 128K, assume it is bogus in reserve_bios_regions()
|
| /linux-5.10/arch/m68k/ifpsp060/ |
| D | os.S | 152 clr.l %d1 | assume success
187 clr.l %d1 | assume success
223 clr.l %d1 | assume success
245 clr.l %d1 | assume success
267 clr.l %d1 | assume success
291 clr.l %d1 | assume success
306 | below assume that the SFC/DFC have been set previously.
|
| /linux-5.10/include/rdma/ |
| D | iw_cm.h | 111 * The client can assume that no events will be delivered for the CM ID after
161 * client can assume that no events will be delivered to the specified IW CM
174 * The client can assume that no events will be delivered to the specified IW
190 * client can assume that no events will be delivered to the specified IW CM
|
| /linux-5.10/Documentation/admin-guide/device-mapper/ |
| D | zero.rst | 21 desired size of the sparse device. For this example, we'll assume a 10TB
29 space available to the sparse device. For this example, we'll assume /dev/sdb1
|
| /linux-5.10/Documentation/ABI/testing/ |
| D | sysfs-firmware-gsmi | 42 "factory defaults". Callers should assume that
57 Callers should assume that a reboot is needed
|
| /linux-5.10/drivers/gpio/ |
| D | gpiolib-legacy.c | 28 /* Compatibility: assume unavailable "valid" GPIOs will appear later */ in gpio_request_one()
72 /* Compatibility: assume unavailable "valid" GPIOs will appear later */ in gpio_request()
|
| /linux-5.10/tools/power/cpupower/utils/idle_monitor/ |
| D | mperf_monitor.c | 296 * If the MSR read failed, assume a Xen system that did in init_maxfreq_mode()
297 * not explicitly provide access to it and assume TSC works in init_maxfreq_mode()
300 dprint("TSC read 0x%x failed - assume TSC working\n", in init_maxfreq_mode()
309 * On Intel we assume mperf (in C0) is ticking at same in init_maxfreq_mode()
|
| /linux-5.10/include/linux/ |
| D | virtio_ring.h | 10 * Barriers in virtio are tricky. Non-SMP virtio guests can't assume
11 * they're not on an SMP host system, so they need to assume real
|
| /linux-5.10/Documentation/driver-api/driver-model/ |
| D | design-patterns.rst | 16 While the kernel contains a few device drivers that assume that they will
17 only be probed() once on a certain system (singletons), it is custom to assume
|
| /linux-5.10/Documentation/devicetree/bindings/net/ |
| D | hisilicon-hns-nic.txt | 27 LAN Switch while the CPU side assume itself have one single NIC connect to
54 ports connected to a LAN Switch while the CPU side assume itself have one
|
| /linux-5.10/arch/powerpc/platforms/44x/ |
| D | ppc476.c | 160 /* Assume spin table. We could test for the enable-method in in smp_ppc47x_kick_cpu()
173 /* Assume it's mapped as part of the linear mapping. This is a bit in smp_ppc47x_kick_cpu()
176 * XXX: Is there any reason to assume differently? in smp_ppc47x_kick_cpu()
|
| /linux-5.10/drivers/crypto/inside-secure/ |
| D | safexcel_ring.c | 239 rdesc->descriptor_overflow = 1; /* assume error */ in safexcel_add_rdesc()
240 rdesc->buffer_overflow = 1; /* assume error */ in safexcel_add_rdesc()
250 /* Assume errors - HW will clear if not the case */ in safexcel_add_rdesc()
|
| /linux-5.10/fs/nilfs2/ |
| D | bmap.h | 245 /* Assume that bmap semaphore is locked. */
251 /* Assume that bmap semaphore is locked. */
257 /* Assume that bmap semaphore is locked. */
|
| /linux-5.10/drivers/net/wireless/ath/ |
| D | hw.c | 52 * BSSID-01 and BSSID-02. Lets assume BSSID-01 will not use the MAC address.
83 * or our MAC address (we assume the hardware uses the MAC address).
95 * So with IFRAME-01 we *assume* the hardware will do:
|
| /linux-5.10/Documentation/crypto/ |
| D | descore-readme.rst | 218 1) i assume everything is byte addressable, although i don't actually
220 i assume word pointers can be freely cast to and from char pointers.
225 i assume sizeof(word) == 4 EVERYWHERE.
280 i assume that the use of a constant is more expensive than using a register:
295 i assume that indexing is cheaper or equivalent to auto increment/decrement,
299 i assume that addresses can be cheaply formed from two registers,
|
| /linux-5.10/Documentation/vm/ |
| D | swap_numa.rst | 17 for swap devices. e.g. on a 2 node machine, assume 2 swap devices swapA and
28 A more complex example on a 4 node machine. Assume 6 swap devices are going to
|
| /linux-5.10/arch/mips/include/asm/sibyte/ |
| D | sb1250_ldt.h | 143 * assume you've read the command and status register
172 * constants assume you've read the register as a 32-bit
190 * assume you've read the command and status register together
266 * assume you've read the command and status register together
|
| /linux-5.10/drivers/net/phy/ |
| D | phy-c45.c | 48 /* Assume 1000base-T */ in genphy_c45_pma_setup_forced()
53 /* Assume 2.5Gbase-T */ in genphy_c45_pma_setup_forced()
58 /* Assume 5Gbase-T */ in genphy_c45_pma_setup_forced()
63 /* Assume 10Gbase-T */ in genphy_c45_pma_setup_forced()
|