/linux/rust/kernel/ |
H A D | faux.rs | 55 // SAFETY: The underlying `device` in `faux_device` is guaranteed by the C API to be in as_ref() 69 // SAFETY: The faux device API is thread-safe as guaranteed by the device core, as long as 70 // faux_device_destroy() is guaranteed to only be called once - which is guaranteed by our type not 74 // SAFETY: The faux device API is thread-safe as guaranteed by the device core, as long as 75 // faux_device_destroy() is guaranteed to only be called once - which is guaranteed by our type not
|
H A D | cpufreq.rs | 141 // SAFETY: Guaranteed by the safety requirements of the function. in from_raw_mut() 235 // SAFETY: Guaranteed by the safety requirements of the function. in from_raw() 253 // guaranteed to be valid by its safety requirements. in freq() 263 // guaranteed to be valid by its safety requirements. in flags() 271 // guaranteed to be valid by its safety requirements. in data() 425 // SAFETY: Guaranteed by the safety requirements of the function. in from_raw() 440 // SAFETY: Guaranteed by the safety requirements of the function. in from_raw_mut() 616 // SAFETY: The `freq_table` is guaranteed to be valid for reading and remains valid for the in freq_table() 687 // SAFETY: The `ptr` is guaranteed to be valid and remains valid for the lifetime of in from_cpu() 710 // SAFETY: The underlying pointer is guaranteed to be valid for the lifetime of `self`. in drop() [all …]
|
H A D | pci.rs | 34 // SAFETY: A call to `unregister` for a given instance of `RegType` is guaranteed to be valid if in register() 52 // SAFETY: `pdrv` is guaranteed to be a valid `RegType`. 59 // SAFETY: `pdrv` is guaranteed to be a valid `RegType`. 96 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called in remove_callback() 357 // `ioptr` is guaranteed to be the start of a valid I/O mapped memory region. in release() 386 // SAFETY: The safety requirements are guaranteed by the type invariant of `self.pdev`. in as_raw() 494 // - `bar` is a valid bar number, as guaranteed by the above call to `Bar::index_is_valid`, in try_from() 506 // - `bar` is a valid bar number, as guaranteed by the above call to `Bar::index_is_valid`, 546 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`. 584 // SAFETY: `self.as_raw` is guaranteed t [all...] |
H A D | auxiliary.rs | 24 // SAFETY: A call to `unregister` for a given instance of `RegType` is guaranteed to be valid if 42 // SAFETY: `adrv` is guaranteed to be a valid `RegType`. in register() 49 // SAFETY: `adrv` is guaranteed to be a valid `RegType`. in unregister() 86 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called in remove_callback() 310 // SAFETY: `adev` is guaranteed to be a valid pointer to a `struct auxiliary_device`, in new() 319 // - `adev` is guaranteed to be a valid pointer to a `struct auxiliary_device`, which has in new() 324 // SAFETY: `adev` is guaranteed to be a valid pointer to a `struct auxiliary_device`, in new() 331 // SAFETY: `adev` is guaranteed to be non-null, since the `KBox` was allocated successfully. in new()
|
H A D | devres.rs | 40 /// guaranteed that revoking the device resource is completed before the corresponding [`Device`] 80 /// // SAFETY: `self.0.addr()` is guaranteed to be properly mapped by `Self::new`. 106 /// [`Self::inner`] is guaranteed to be initialized and is always accessed read-only. 156 // - `inner` is guaranteed to be a valid for the duration of the lifetime of `Self`. in new() 157 // - `devm_add_action()` is guaranteed not to call `callback` until `this` has been in new() 253 // proves that `self.data` hasn't been revoked and is guaranteed to not be revoked as long in access() 283 // SAFETY: When `drop` runs, it is guaranteed that nobody is accessing the revocable data 301 // INVARIANT: At this point it is guaranteed that `inner` can't be accessed any more. in drop()
|
H A D | platform.rs | 28 // SAFETY: A call to `unregister` for a given instance of `RegType` is guaranteed to be valid if 57 // SAFETY: `pdrv` is guaranteed to be a valid `RegType`. in register() 62 // SAFETY: `pdrv` is guaranteed to be a valid `RegType`. in unregister() 92 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called in remove_callback() 352 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`. 366 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`. 379 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`. 395 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`. 506 // `struct platform_device` as guaranteed by the corresponding C code.
|
H A D | revocable.rs | 96 /// Returns a guard that gives access to the object otherwise; the object is guaranteed to 114 /// Returns a shared reference to the object otherwise; the object is guaranteed to 151 // SAFETY: By the safety requirement of this function it is guaranteed that in access() 260 // guaranteed to remain valid. in deref()
|
H A D | cpumask.rs | 59 // SAFETY: Guaranteed by the safety requirements of the function. in as_mut_ref() 73 // SAFETY: Guaranteed by the safety requirements of the function. in as_ref() 275 // SAFETY: Guaranteed by the safety requirements of the function. in as_mut_ref() 289 // SAFETY: Guaranteed by the safety requirements of the function. in as_ref()
|
H A D | opp.rs | 58 // SAFETY: The `ptr` is guaranteed by the C code to be valid. in table() 519 // SAFETY: 'dev' is guaranteed by the C code to be valid. in config_clks() 523 // SAFETY: 'opp_table' is guaranteed by the C code to be valid. in config_clks() 525 // SAFETY: 'opp' is guaranteed by the C code to be valid. in config_clks() 544 // SAFETY: 'dev' is guaranteed by the C code to be valid. in config_regulators() 548 // SAFETY: 'old_opp' is guaranteed by the C code to be valid. in config_regulators() 550 // SAFETY: 'new_opp' is guaranteed by the C code to be valid. in config_regulators() 879 // SAFETY: The `ptr` is guaranteed by the C code to be valid. in opp_from_freq() 905 // SAFETY: The `ptr` is guaranteed by the C code to be valid. in opp_from_level() 930 // SAFETY: The `ptr` is guaranteed b in opp_from_bw() [all...] |
/linux/include/uapi/linux/ |
H A D | coresight-stm.h | 12 * The CoreSight STM supports guaranteed and invariant timing 13 * transactions. Guaranteed transactions are guaranteed to be 16 * timing transactions are not guaranteed to be traced, they
|
/linux/lib/ |
H A D | iomap_copy.c | 16 * time. Order of access is not guaranteed, nor is a memory barrier 39 * time. Order of access is not guaranteed, nor is a memory barrier 60 * time. Order of access is not guaranteed, nor is a memory barrier
|
/linux/mm/ |
H A D | mempool.c | 6 * for guaranteed, deadlock-free memory allocations during 215 * First pre-allocate the guaranteed number of buffers, in mempool_init_node() 236 * @min_nr: the minimum number of elements guaranteed to be 258 * @min_nr: the minimum number of elements guaranteed to be 266 * this function creates and allocates a guaranteed size, preallocated 298 * @new_min_nr: the new minimum number of elements guaranteed to be 302 * it cannot be guaranteed that the pool will be grown to the new 526 * For correctness, we need a test which is guaranteed to trigger in mempool_free() 533 * min_nr is guaranteed to see curr_nr < min_nr unless curr_nr gets in mempool_free()
|
/linux/tools/memory-model/litmus-tests/ |
H A D | MP+porevlocks.litmus | 9 * given lock), a CPU is not only guaranteed to see the accesses that other 10 * CPUs made while previously holding that lock, it is also guaranteed to
|
H A D | MP+polocks.litmus | 9 * given lock), a CPU is not only guaranteed to see the accesses that other 10 * CPUs made while previously holding that lock, it is also guaranteed
|
/linux/kernel/time/ |
H A D | sleep_timeout.c | 42 * %TASK_UNINTERRUPTIBLE - at least @timeout jiffies are guaranteed to 50 * The current task state is guaranteed to be %TASK_RUNNING when this 58 * jiffies will be returned. In all cases the return value is guaranteed 245 * %TASK_UNINTERRUPTIBLE - at least @timeout time is guaranteed to 253 * The current task state is guaranteed to be TASK_RUNNING when this
|
/linux/include/linux/ |
H A D | mbcache.h | 24 * guaranteed to be hashed while e_refcnt > 0. 29 * While refcount > 0, the entry is guaranteed to stay in the hash and
|
/linux/rust/kernel/alloc/ |
H A D | kvec.rs | 203 // Guaranteed by the type invariant to never underflow. in inc_len() 224 // SAFETY: The memory after `self.len()` is guaranteed to contain `count` initialized in dec_len() 303 // resulting pointer is guaranteed to be part of the same allocated object. in spare_capacity_mut() 307 // SAFETY: The memory between `self.len` and `self.capacity` is guaranteed to be allocated in spare_capacity_mut() 680 // SAFETY: `count` is `self.len() - len` so it is guaranteed to be less than or in truncate() 788 // - `self.len() + other.len() <= self.capacity()` is guaranteed by the preceding `reserve` in extend_from_slice() 836 // SAFETY: `self.as_mut_ptr` is guaranteed to be valid by the type invariant. in drop() 890 // SAFETY: The memory behind `self.as_ptr()` is guaranteed to contain `self.len` in deref() 902 // SAFETY: The memory behind `self.as_ptr()` is guaranteed to contain `self.len` in deref_mut() 1065 // - `ptr` is guaranteed to be valid for the lifetime of `'a`. in page_iter() [all …]
|
/linux/drivers/platform/surface/aggregator/ |
H A D | ssh_request_layer.c | 287 * guaranteed that requests cannot be re-submitted), or the in ssh_rtl_tx_try_process_one() 530 * request, we are guaranteed that the completion callback will run on in ssh_rtl_complete() 532 * received. Similarly, this function is guaranteed to run on the in ssh_rtl_complete() 533 * receiver thread. Thus we are guaranteed that if the packet has been in ssh_rtl_complete() 594 * submission process is guaranteed to have entered the critical in ssh_rtl_cancel_nonpending() 597 * guaranteed that, due to the "locked" check in ssh_rtl_submit(), the in ssh_rtl_cancel_nonpending() 599 * from the queue, where we are now guaranteed that the packet is or has in ssh_rtl_cancel_nonpending() 602 * Note that if the cmpxchg() fails, we are guaranteed that ptl has in ssh_rtl_cancel_nonpending() 664 * Now that we have locked the packet, we have guaranteed that it can't in ssh_rtl_cancel_pending() 794 * request. Note that, at this point, the request is guaranteed to have in ssh_rtl_packet_callback() [all …]
|
/linux/Documentation/devicetree/bindings/net/bluetooth/ |
H A D | mediatek,bluetooth.txt | 39 guaranteed. 42 design should be guaranteed.
|
/linux/rust/kernel/sync/ |
H A D | poll.rs | 56 // * Since `PollCondVar` is pinned, its destructor is guaranteed to run before the memory in register_wait() 58 // waiters and then waits for an rcu grace period, it's guaranteed that in register_wait()
|
/linux/rust/kernel/time/hrtimer/ |
H A D | pin_mut.rs | 65 // - The return value of `get_unchecked_mut` is guaranteed not to be null. in start() 100 // `PinMutHrTimerHandle` associated with this timer is guaranteed to in run()
|
H A D | tbox.rs | 78 // - `Box::into_raw` is guaranteed to return a valid pointer. in start() 115 // `BoxHrTimerHandle` associated with this timer is guaranteed to in run()
|
/linux/rust/kernel/drm/gem/ |
H A D | mod.rs | 115 // SAFETY: `obj` is guaranteed to be in an `Object<T>` via the safety contract of this in close_callback() 125 // SAFETY: `self.as_raw()` is guaranteed to be a pointer to a valid `struct drm_gem_object`. in as_raw() 161 // - Therefore, we're guaranteed that `ptr` must be a gem object embedded within `Self`. in lookup_handle() 232 // SAFETY: `obj.as_raw()` is guaranteed to be valid by the initialization above. in new()
|
/linux/tools/memory-model/Documentation/ |
H A D | control-dependencies.txt | 19 This is not guaranteed to provide any ordering because some types of CPUs 32 (usually) guaranteed for load-store control dependencies, as in the 104 guaranteed only when the stores differ, for example:
|
H A D | ordering.txt | 87 as cmpxchg() are only guaranteed to provide ordering when they succeed. 307 Note that release ordering is guaranteed only against the 310 as cmpxchg_release() are only guaranteed to provide ordering 344 Note that acquire ordering is guaranteed only against the 347 such as atomic_cmpxchg_acquire() are only guaranteed to provide
|