Searched refs:assume (Results 1 – 25 of 225) sorted by relevance
123456789
| /Linux-v6.1/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-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
|
| /Linux-v6.1/arch/mips/kernel/ |
| D | r2300_fpu.S | 68 li v0, 0 # assume success
102 li v0, 0 # assume success
|
| /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/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/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/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/arch/arm/include/debug/ |
| D | sa1100.S | 25 @ We assume r1 can be clobbered.
|
| /Linux-v6.1/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-v6.1/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-v6.1/drivers/memstick/core/ |
| D | Kconfig | 11 If you say Y here, the MemoryStick layer will assume that all
|
| /Linux-v6.1/Documentation/networking/devlink/ |
| D | index.rst | 14 the main devlink object is itself registered. The newer ``devl_*`` APIs assume
|
| /Linux-v6.1/drivers/gpu/drm/i915/gt/shaders/ |
| D | README | 27 The instructions bellow assume:
|
| /Linux-v6.1/tools/testing/selftests/cgroup/ |
| D | memcg_protection.m | 63 r = alpha * c; % assume all memory is in a single LRU list
|
| /Linux-v6.1/Documentation/devicetree/bindings/pmem/ |
| D | pmem-region.txt | 40 If this property is absent then the OS must assume that the region
|
| /Linux-v6.1/Documentation/gpu/rfc/ |
| D | i915_small_bar.rst | 15 accessible. Without this flag the kernel will assume that CPU access is not
|
| /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/hwmon/ |
| D | max6650.rst | 71 clock: The clock frequency in Hz of the chip the driver should assume [254000]
|
| /Linux-v6.1/Documentation/userspace-api/media/v4l/ |
| D | vidioc-g-jpegcomp.rst | 54 encoded. If you omit them, applications assume you've used standard
|
| /Linux-v6.1/Documentation/devicetree/bindings/regulator/ |
| D | act8945a-regulator.txt | 8 If this property is missing, assume the VSEL pin is set to logic-low.
|
| /Linux-v6.1/tools/testing/selftests/powerpc/math/ |
| D | fpu_asm.S | 11 li r3,1 # assume a bad result
|
123456789
