Home
last modified time | relevance | path

Searched refs:assume (Results 1 – 25 of 233) sorted by relevance

12345678910

/linux/Documentation/devicetree/bindings/regulator/
A Dtps62360-regulator.txt15 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).
A Dsilergy,sy8827n.yaml28 If this property is missing, assume the VSEL pin is set to low.
/linux/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/
A Dassume.h7 #define assume(x) \ macro
14 #define assume(x) __CPROVER_assume(x) macro
A Dsimple_sync_srcu.c46 assume(try_check_zero(sp, idx, trycount)); in synchronize_srcu()
50 assume(try_check_zero(sp, idx^1, trycount)); in synchronize_srcu()
A Dpreempt.c66 assume(thread_cpu_id >= 0); in preempt_disable()
67 assume(thread_cpu_id < NR_CPUS); in preempt_disable()
A Dlocks.h85 assume(lock_impl_trylock(lock)); in lock_impl_lock()
194 assume(prev_count); in wait_for_completion()
A Dmisc.h25 #define udelay(x) assume(0)
/linux/arch/m68k/ifpsp060/
A Dos.S152 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/arch/mips/kernel/
A Dr2300_fpu.S68 li v0, 0 # assume success
102 li v0, 0 # assume success
/linux/Documentation/admin-guide/device-mapper/
A Dzero.rst21 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/Documentation/ABI/testing/
A Dsysfs-firmware-gsmi42 "factory defaults". Callers should assume that
57 Callers should assume that a reboot is needed
/linux/Documentation/devicetree/bindings/net/
A Dhisilicon-hns-nic.txt27 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/Documentation/driver-api/driver-model/
A Ddesign-patterns.rst16 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/Documentation/devicetree/bindings/iio/adc/
A Dti,ads8688.yaml25 description: Optional external reference. If not supplied, assume
/linux/arch/arm/include/debug/
A Dsa1100.S25 @ We assume r1 can be clobbered.
/linux/Documentation/devicetree/bindings/gpio/
A Dgpio-mm-lantiq.txt19 - lantiq,shadow : The default value that we shall assume as already set on the
/linux/arch/arm/kernel/
A Dhead.S512 bne __fixup_smp_on_up @ no, assume UP
520 reteq lr @ yes, assume SMP
525 bne __fixup_smp_on_up @ no, assume UP
/linux/drivers/memstick/core/
A DKconfig11 If you say Y here, the MemoryStick layer will assume that all
/linux/Documentation/crypto/
A Ddescore-readme.rst218 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/drivers/gpu/drm/i915/gt/shaders/
A DREADME27 The instructions bellow assume:
/linux/Documentation/devicetree/bindings/usb/
A Dsmsc,usb3503.yaml67 provided, driver will not set rate of the REFCLK signal and assume that a
/linux/Documentation/devicetree/bindings/net/wireless/
A Dti,wlcore.yaml14 Note that the *-clock-frequency properties assume internal clocks. In case
/linux/Documentation/devicetree/bindings/pmem/
A Dpmem-region.txt40 If this property is absent then the OS must assume that the region
/linux/Documentation/devicetree/bindings/arm/
A Dcoresight-cpu-debug.txt29 - cpu : the CPU phandle the debug module is affined to. Do not assume it
/linux/Documentation/hwmon/
A Dmax6650.rst71 clock: The clock frequency in Hz of the chip the driver should assume [254000]

Completed in 35 milliseconds

12345678910