Searched refs:assume (Results 1 – 25 of 237) sorted by relevance
12345678910
| /linux-6.1.9/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/ |
| 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 | preempt.c | 66 assume(thread_cpu_id >= 0); in preempt_disable()
67 assume(thread_cpu_id < NR_CPUS); in preempt_disable()
|
| D | locks.h | 85 assume(lock_impl_trylock(lock)); in lock_impl_lock()
194 assume(prev_count); in wait_for_completion()
|
| D | misc.h | 25 #define udelay(x) assume(0)
|
| /linux-6.1.9/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.
|
| D | silergy,sy8827n.yaml | 28 If this property is missing, assume the VSEL pin is set to low.
|
| /linux-6.1.9/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
|
| /linux-6.1.9/arch/mips/kernel/ |
| D | r2300_fpu.S | 68 li v0, 0 # assume success
102 li v0, 0 # assume success
|
| /linux-6.1.9/Documentation/ABI/testing/ |
| D | sysfs-firmware-gsmi | 42 "factory defaults". Callers should assume that
57 Callers should assume that a reboot is needed
|
| /linux-6.1.9/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-6.1.9/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-6.1.9/Documentation/devicetree/bindings/iio/adc/ |
| D | ti,ads8688.yaml | 25 description: Optional external reference. If not supplied, assume
|
| /linux-6.1.9/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-6.1.9/Documentation/devicetree/bindings/gpio/ |
| D | gpio-mm-lantiq.txt | 19 - lantiq,shadow : The default value that we shall assume as already set on the
|
| /linux-6.1.9/arch/arm/include/debug/ |
| D | sa1100.S | 25 @ We assume r1 can be clobbered.
|
| /linux-6.1.9/rust/alloc/ |
| D | alloc.rs | 203 intrinsics::assume(new_size >= old_layout.size()); in grow_impl()
294 intrinsics::assume(new_size <= old_layout.size()); in shrink()
|
| /linux-6.1.9/drivers/memstick/core/ |
| D | Kconfig | 11 If you say Y here, the MemoryStick layer will assume that all
|
| /linux-6.1.9/Documentation/networking/devlink/ |
| D | index.rst | 14 the main devlink object is itself registered. The newer ``devl_*`` APIs assume
|
| /linux-6.1.9/drivers/gpu/drm/i915/gt/shaders/ |
| D | README | 27 The instructions bellow assume:
|
| /linux-6.1.9/tools/testing/selftests/cgroup/ |
| D | memcg_protection.m | 63 r = alpha * c; % assume all memory is in a single LRU list
|
| /linux-6.1.9/Documentation/gpu/rfc/ |
| D | i915_small_bar.rst | 15 accessible. Without this flag the kernel will assume that CPU access is not
|
| /linux-6.1.9/Documentation/devicetree/bindings/ufs/ |
| D | ufs-common.yaml | 37 Number of lanes available per direction. Note that it is assume same
|
| /linux-6.1.9/Documentation/devicetree/bindings/usb/ |
| D | smsc,usb3503.yaml | 68 provided, driver will not set rate of the REFCLK signal and assume that a
|
| /linux-6.1.9/Documentation/devicetree/bindings/pmem/ |
| D | pmem-region.txt | 40 If this property is absent then the OS must assume that the region
|
12345678910