| /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 | auxiliary.rs | 26 // SAFETY: A call to `unregister` for a given instance of `RegType` is guaranteed to be valid if
44 // SAFETY: `adrv` is guaranteed to be a valid `RegType`. in register()
51 // SAFETY: `adrv` is guaranteed to be a valid `RegType`. in unregister()
88 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called in remove_callback()
250 // The offset is guaranteed to point to a valid device field inside `auxiliary::Device`.
329 // SAFETY: `adev` is guaranteed to be a valid pointer to a `struct auxiliary_device`, in new()
339 // - `adev` is guaranteed to be a valid pointer to a `struct auxiliary_device`, which in new()
344 // SAFETY: `adev` is guaranteed to be a valid pointer to a in new()
355 // SAFETY: `adev` is guaranteed to be non-null, since the `KBox` was allocated in new()
|
| H A D | pci.rs | 53 // SAFETY: A call to `unregister` for a given instance of `RegType` is guaranteed to be valid if
71 // SAFETY: `pdrv` is guaranteed to be a valid `RegType`. in register()
78 // SAFETY: `pdrv` is guaranteed to be a valid `RegType`. in unregister()
115 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called in remove_callback()
407 // - `bar` is a valid bar number, as guaranteed by the above call to `Bar::index_is_valid`, in resource_start()
419 // - `bar` is a valid bar number, as guaranteed by the above call to `Bar::index_is_valid`, in resource_len()
435 // SAFETY: `self.as_raw` is guaranteed to be a pointer to a valid `struct pci_dev`. in enable_device_mem()
442 // SAFETY: `self.as_raw` is guaranteed to be a pointer to a valid `struct pci_dev`. in set_master()
448 // The offset is guaranteed to point to a valid device field inside `pci::Device`.
495 // hence `dev` must be embedded in a valid `struct pci_dev` as guaranteed by the in try_from()
|
| H A D | platform.rs | 29 // SAFETY: A call to `unregister` for a given instance of `RegType` is guaranteed to be valid if
58 // SAFETY: `pdrv` is guaranteed to be a valid `RegType`. in register()
63 // SAFETY: `pdrv` is guaranteed to be a valid `RegType`. in unregister()
93 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called in remove_callback()
292 // The offset is guaranteed to point to a valid device field inside `platform::Device`.
365 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`. in irq_by_index()
379 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`. in optional_irq_by_index()
392 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`. in irq_by_name()
408 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`. in optional_irq_by_name()
519 // `struct platform_device` as guaranteed by the corresponding C code. in try_from()
|
| H A D | devres.rs | 40 /// guaranteed that revoking the device resource is completed before the corresponding [`Device`]
92 /// // SAFETY: `self.0.addr()` is guaranteed to be properly mapped by `Self::new`.
118 /// `Self::inner` is guaranteed to be initialized and is always accessed read-only.
168 // - `inner` is guaranteed to be a valid for the duration of the lifetime of `Self`. in new()
169 // - `devm_add_action()` is guaranteed not to call `callback` until `this` has been in new()
265 // proves that `self.data` hasn't been revoked and is guaranteed to not be revoked as long in access()
295 // SAFETY: When `drop` runs, it is guaranteed that nobody is accessing the revocable data in drop()
313 // INVARIANT: At this point it is guaranteed that `inner` can't be accessed any more. in drop()
|
| H A D | i2c.rs | 95 // SAFETY: A call to `unregister` for a given instance of `RegType` is guaranteed to be valid if
136 // SAFETY: `idrv` is guaranteed to be a valid `RegType`. in register()
141 // SAFETY: `idrv` is guaranteed to be a valid `RegType`. in unregister()
170 // `probe_callback`, hence it's guaranteed that `I2cClient::set_drvdata()` has been called in remove_callback()
182 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called in shutdown_callback()
202 // - `dev` is guaranteed to be valid while it's alive, and so is `dev.as_raw()`. in i2c_id_info()
475 // The offset is guaranteed to point to a valid device field inside `I2cClient`.
522 // `struct i2c_client` as guaranteed by the corresponding C code. in try_from()
|
| 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 | opp.rs | 58 // SAFETY: The `ptr` is guaranteed by the C code to be valid. in table()
523 // SAFETY: 'dev' is guaranteed by the C code to be valid. in config_clks()
527 // SAFETY: 'opp_table' is guaranteed by the C code to be valid. in config_clks()
529 // SAFETY: 'opp' is guaranteed by the C code to be valid. in config_clks()
548 // SAFETY: 'dev' is guaranteed by the C code to be valid. in config_regulators()
552 // SAFETY: 'old_opp' is guaranteed by the C code to be valid. in config_regulators()
554 // SAFETY: 'new_opp' is guaranteed by the C code to be valid. in config_regulators()
883 // SAFETY: The `ptr` is guaranteed by the C code to be valid. in opp_from_freq()
909 // SAFETY: The `ptr` is guaranteed by the C code to be valid. in opp_from_level()
934 // SAFETY: The `ptr` is guaranteed by the C code to be valid. in opp_from_bw()
|
| H A D | usb.rs | 30 // SAFETY: A call to `unregister` for a given instance of `RegType` is guaranteed to be valid if
48 // SAFETY: `udrv` is guaranteed to be a valid `RegType`. in register()
55 // SAFETY: `udrv` is guaranteed to be a valid `RegType`. in unregister()
95 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called in disconnect_callback()
335 // The offset is guaranteed to point to a valid device field inside `usb::Interface`.
|
| H A D | ptr.rs | 93 /// It is guaranteed to be a power of two.
109 /// It is guaranteed to be a power of two.
158 // No underflow can occur as the alignment is guaranteed to be a power of two, and thus is in mask()
|
| /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/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/mm/ |
| H A D | mempool.c | 4 * for guaranteed, deadlock-free memory allocations during
253 * First pre-allocate the guaranteed number of buffers, in mempool_init_node()
274 * @min_nr: the minimum number of elements guaranteed to be
297 * @min_nr: the minimum number of elements guaranteed to be
305 * this function creates and allocates a guaranteed size, preallocated
337 * @new_min_nr: the new minimum number of elements guaranteed to be
341 * it cannot be guaranteed that the pool will be grown to the new
652 * For correctness, we need a test which is guaranteed to trigger in mempool_free_bulk()
659 * min_nr is guaranteed to see curr_nr < min_nr unless curr_nr gets in mempool_free_bulk()
|
| /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
|
| H A D | cgroup.h | 180 * css which finished ->css_online() is guaranteed to be visible in the
203 * css which finished ->css_online() is guaranteed to be visible in the
233 * while inheriting. The state update to the parent is guaranteed to be
264 * css which finished ->css_online() is guaranteed to be visible in the
291 * Also, all are guaranteed to share the same source and destination csses.
469 * reference on and return it. This function is guaranteed to return a
644 * that the new kthreads are guaranteed to stay in the root until in cgroup_init_kthreadd()
|
| /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/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
|