| /Linux-v6.1/Documentation/devicetree/bindings/regulator/ |
| D | ti,tps62360.yaml | 38 is missing, then assume that there is no GPIO for
45 is missing, then assume that there is no GPIO for
60 is missing, then assume the state as low.
66 is missing, then assume the state as low.
|
| /Linux-v6.1/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 | 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 | assume.h | 7 #define assume(x) \ macro
14 #define assume(x) __CPROVER_assume(x) macro
|
| 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-v6.1/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-v6.1/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-v6.1/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-v6.1/include/rdma/ |
| D | iw_cm.h | 112 * The client can assume that no events will be delivered for the CM ID after
162 * client can assume that no events will be delivered to the specified IW CM
175 * The client can assume that no events will be delivered to the specified IW
191 * client can assume that no events will be delivered to the specified IW CM
|
| /Linux-v6.1/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-v6.1/Documentation/ABI/testing/ |
| D | sysfs-firmware-gsmi | 42 "factory defaults". Callers should assume that
57 Callers should assume that a reboot is needed
|
| /Linux-v6.1/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
|
| D | clk.h | 326 * Drivers must assume that the clock source is not enabled.
348 * Drivers must assume that the clock source is not enabled.
368 * Drivers must assume that the clock source is not enabled.
418 * Drivers must assume that the clock source is not enabled.
454 * Drivers must assume that the clock source is neither prepared nor
475 * The returned clk (if valid) is prepared. Drivers must however assume
518 * Drivers must assume that the clock source is neither prepared nor
541 * assume that the clock is not enabled.
861 * Drivers must assume that the clock source is not enabled.
|
| D | compiler-gcc.h | 19 * gcc optimizers assume this is the case. In particular they
20 * assume such arithmetic does not wrap.
|
| /Linux-v6.1/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-v6.1/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-v6.1/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-v6.1/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-v6.1/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-v6.1/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-v6.1/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-v6.1/arch/powerpc/platforms/44x/ |
| D | ppc476.c | 162 /* Assume spin table. We could test for the enable-method in in smp_ppc47x_kick_cpu()
175 /* Assume it's mapped as part of the linear mapping. This is a bit in smp_ppc47x_kick_cpu()
178 * XXX: Is there any reason to assume differently? in smp_ppc47x_kick_cpu()
|
| /Linux-v6.1/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-v6.1/Documentation/admin-guide/mm/ |
| 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
|
