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