| /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
|