| /kernel/linux/linux-4.19/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-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-4.19/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-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-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-4.19/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-4.19/net/802/ |
| D | fddi.c | 104 * to start of packet data. Assume 802.2 SNAP frames for now. in fddi_type_trans()
137 /* Assume 802.2 SNAP frames, for now */ in fddi_type_trans()
153 dev->hard_header_len = FDDI_K_SNAP_HLEN+3; /* Assume 802.2 SNAP hdr len + 3 pad bytes */ in fddi_setup()
154 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-4.19/arch/powerpc/boot/ |
| D | virtex405-head.S | 16 * or reset but does turn off the data cache. We cannot assume
19 * a bootloader and we assume that the cache contents are
|
| /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-4.19/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-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-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-4.19/Documentation/device-mapper/ |
| D | zero.txt | 20 desired size of the sparse device. For this example, we'll assume a 10TB
28 space available to the sparse device. For this example, we'll assume /dev/sdb1
|
| /kernel/linux/linux-4.19/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-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-4.19/include/rdma/ |
| D | iw_cm.h | 148 * The client can assume that no events will be delivered for the CM ID after
198 * client can assume that no events will be delivered to the specified IW CM
211 * The client can assume that no events will be delivered to the specified IW
227 * client can assume that no events will be delivered to the specified IW CM
|