| /kernel/linux/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).
|
| /kernel/linux/linux-6.6/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.
|
| /kernel/linux/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)
|
| /kernel/linux/linux-6.6/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()
|
| /kernel/linux/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()
|
| /kernel/linux/linux-6.6/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()
|
| /kernel/linux/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()
|
| /kernel/linux/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.
|
| /kernel/linux/linux-6.6/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.
|
| /kernel/linux/linux-6.6/include/rdma/ |
| D | iw_cm.h | 112 * The client can assume that no events will be delivered for the CM ID after
141 * client can assume that no events will be delivered to the specified IW CM
154 * The client can assume that no events will be delivered to the specified IW
170 * client can assume that no events will be delivered to the specified IW CM
|
| /kernel/linux/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
|
| /kernel/linux/linux-6.6/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
|
| /kernel/linux/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
|
| /kernel/linux/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
|
| /kernel/linux/linux-6.6/Documentation/ABI/testing/ |
| D | sysfs-firmware-gsmi | 42 "factory defaults". Callers should assume that
57 Callers should assume that a reboot is needed
|
| /kernel/linux/linux-6.6/drivers/gpio/ |
| D | gpiolib-legacy.c | 28 /* Compatibility: assume unavailable "valid" GPIOs will appear later */ in gpio_request_one()
60 /* Compatibility: assume unavailable "valid" GPIOs will appear later */ in gpio_request()
|
| /kernel/linux/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()
|
| /kernel/linux/linux-6.6/tools/perf/Documentation/ |
| D | perf-dlfilter.txt | 67 Do not assume the 'sample' argument is valid (dereferenceable)
70 Do not assume data referenced by pointers in struct perf_dlfilter_sample
185 Do not assume pointers obtained via perf_dlfilter_fns are valid (dereferenceable)
218 Do not assume data referenced by pointers in struct perf_dlfilter_al
|
| /kernel/linux/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
|
| /kernel/linux/linux-6.6/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
|
| /kernel/linux/linux-6.6/tools/power/cpupower/utils/idle_monitor/ |
| D | mperf_monitor.c | 289 * If the MSR read failed, assume a Xen system that did in init_maxfreq_mode()
290 * not explicitly provide access to it and assume TSC works in init_maxfreq_mode()
293 dprint("TSC read 0x%x failed - assume TSC working\n", in init_maxfreq_mode()
302 * On Intel we assume mperf (in C0) is ticking at same in init_maxfreq_mode()
|