Home
last modified time | relevance | path

Searched full:guaranteed (Results 1 – 25 of 934) sorted by relevance

12345678910>>...38

/linux/rust/kernel/
H A Dfaux.rs64 // SAFETY: The underlying `device` in `faux_device` is guaranteed by the C API to be in drop()
78 // SAFETY: The faux device API is thread-safe as guaranteed by the device core, as long as
79 // faux_device_destroy() is guaranteed to only be called once - which is guaranteed by our type not
83 // SAFETY: The faux device API is thread-safe as guaranteed by the device core, as long as
84 // faux_device_destroy() is guaranteed to only be called once - which is guaranteed by our type not
H A Dcpufreq.rs141 // 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()
426 // SAFETY: Guaranteed by the safety requirements of the function. in from_raw()
441 // SAFETY: Guaranteed by the safety requirements of the function. in from_raw_mut()
617 // SAFETY: The `freq_table` is guaranteed to be valid for reading and remains valid for the in freq_table()
688 // SAFETY: The `ptr` is guaranteed to be valid and remains valid for the lifetime of in from_cpu()
711 // SAFETY: The underlying pointer is guaranteed t in drop()
[all...]
H A Dauxiliary.rs54 // SAFETY: A call to `unregister` for a given instance of `DriverType` is guaranteed to be valid if in register()
70 // SAFETY: `adrv` is guaranteed to be a valid `DriverType`. in unregister()
77 // SAFETY: `adrv` is guaranteed to be a valid `DriverType`. in probe_callback()
114 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called
336 // The offset is guaranteed to point to a valid device field inside `auxiliary::Device`.
468 // SAFETY: `adev` is guaranteed to be a valid pointer to a `struct auxiliary_device`,
478 // - `adev` is guaranteed to be a valid pointer to a `struct auxiliary_device`, which
490 // SAFETY: `adev` is guaranteed to be a valid pointer to a
500 // SAFETY: `adev` is guaranteed to be non-null, since the `KBox` was allocated
H A Dpci.rs71 // SAFETY: A call to `unregister` for a given instance of `DriverType` is guaranteed to be valid if
87 // SAFETY: `pdrv` is guaranteed to be a valid `DriverType`. in register()
94 // SAFETY: `pdrv` is guaranteed to be a valid `DriverType`. in unregister()
131 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called in remove_callback()
430 // - `bar` is a valid bar number, as guaranteed by the above call to `Bar::index_is_valid`, in resource_len()
442 // - `bar` is a valid bar number, as guaranteed by the above call to `Bar::index_is_valid`, in pci_class()
458 // SAFETY: `self.as_raw` is guaranteed to be a pointer to a valid `struct pci_dev`. in set_master()
465 // SAFETY: `self.as_raw` is guaranteed to be a pointer to a valid `struct pci_dev`.
471 // The offset is guaranteed to point to a valid device field inside `pci::Device`.
518 // hence `dev` must be embedded in a valid `struct pci_dev` as guaranteed b in try_from()
[all...]
H A Dplatform.rs57 // SAFETY: A call to `unregister` for a given instance of `DriverType` is guaranteed to be valid if
84 // SAFETY: `pdrv` is guaranteed to be a valid `DriverType`. in register()
91 // SAFETY: `pdrv` is guaranteed to be a valid `DriverType`. in unregister()
121 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called in remove_callback()
329 // The offset is guaranteed to point to a valid device field inside `platform::Device`.
402 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`. in optional_irq_by_index()
416 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`. in irq_by_name()
429 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`. in optional_irq_by_name()
445 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`.
556 // `struct platform_device` as guaranteed b in try_from()
[all...]
H A Ddevres.rs47 /// guaranteed that revoking the device resource is completed before the corresponding [`Device`]
102 /// // SAFETY: `self.0.addr()` is guaranteed to be properly mapped by `Self::new`.
227 // - `devres_node_add()` is guaranteed not to call `devres_node_release()` for the entire in device()
325 // proves that `self.data` hasn't been revoked and is guaranteed to not be revoked as long in register_foreign()
354 // SAFETY: When `drop` runs, it is guaranteed that nobody is accessing the revocable data
H A Di2c.rs105 // SAFETY: A call to `unregister` for a given instance of `DriverType` is guaranteed to be valid if
144 // SAFETY: `idrv` is guaranteed to be a valid `DriverType`. in register()
149 // SAFETY: `idrv` is guaranteed to be a valid `DriverType`. in unregister()
178 // `probe_callback`, hence it's guaranteed that `I2cClient::set_drvdata()` has been called in remove_callback()
190 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called in shutdown_callback()
210 // - `dev` is guaranteed to be valid while it's alive, and so is `dev.as_raw()`. in i2c_id_info()
492 // The offset is guaranteed to point to a valid device field inside `I2cClient`.
539 // `struct i2c_client` as guaranteed by the corresponding C code.
H A Drevocable.rs96 /// 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 Dopp.rs58 // 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 b in opp_from_bw()
[all...]
H A Dusb.rs48 // SAFETY: A call to `unregister` for a given instance of `DriverType` is guaranteed to be valid if
64 // SAFETY: `udrv` is guaranteed to be a valid `DriverType`. in register()
71 // SAFETY: `udrv` is guaranteed to be a valid `DriverType`.
111 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called in disconnect_callback()
362 // The offset is guaranteed to point to a valid device field inside `usb::Interface`.
/linux/include/uapi/linux/
H A Dcoresight-stm.h12 * 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 Diomap_copy.c16 * 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 DMP+porevlocks.litmus9 * 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 DMP+polocks.litmus9 * 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 Dsleep_timeout.c42 * %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 Dmempool.c4 * 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
644 * For correctness, we need a test which is guaranteed to trigger in mempool_free_bulk()
651 * min_nr is guaranteed to see curr_nr < min_nr unless curr_nr gets in mempool_free_bulk()
/linux/include/linux/
H A Dmbcache.h24 * guaranteed to be hashed while e_refcnt > 0.
29 * While refcount > 0, the entry is guaranteed to stay in the hash and
H A Dcgroup.h192 * css which finished ->css_online() is guaranteed to be visible in the
215 * css which finished ->css_online() is guaranteed to be visible in the
245 * while inheriting. The state update to the parent is guaranteed to be
276 * css which finished ->css_online() is guaranteed to be visible in the
329 * Also, all are guaranteed to share the same source and destination csses.
531 * reference on and return it. This function is guaranteed to return a
727 * that the new kthreads are guaranteed to stay in the root until
/linux/drivers/hwtracing/coresight/
H A Dcoresight-stm.c14 * Guaranteed timing and support for various packet type coming from the
105 * @guaraneed: is the channel delivery guaranteed.
110 unsigned long *guaranteed; member
393 set_bit(channel, drvdata->chs.guaranteed); in stm_generic_set_options()
397 clear_bit(channel, drvdata->chs.guaranteed); in stm_generic_set_options()
430 stm_flags |= test_bit(channel, drvdata->chs.guaranteed) ? in stm_generic_packet()
792 bitmap_clear(drvdata->chs.guaranteed, 0, drvdata->numsp); in stm_init_default_data()
872 drvdata->chs.guaranteed = devm_bitmap_zalloc(dev, drvdata->numsp, in __stm_probe()
874 if (!drvdata->chs.guaranteed) in __stm_probe()
/linux/drivers/platform/surface/aggregator/
H A Dssh_request_layer.c287 * 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 Dmediatek,bluetooth.txt39 guaranteed.
42 design should be guaranteed.
/linux/rust/kernel/sync/
H A Dpoll.rs56 // * 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/alloc/
H A Dkvec.rs229 // Guaranteed by the type invariant to never underflow. in dec_len()
250 // SAFETY: The memory after `self.len()` is guaranteed to contain `count` initialized in as_mut_slice()
329 // resulting pointer is guaranteed to be part of the same allocated object. in push()
333 // SAFETY: The memory between `self.len` and `self.capacity` is guaranteed to be allocated in push()
706 // SAFETY: `count` is `self.len() - len` so it is guaranteed to be less than or
941 // - `self.len() + other.len() <= self.capacity()` is guaranteed by the preceding `reserve`
989 // SAFETY: `self.as_mut_ptr` is guaranteed to be valid by the type invariant. in fmt()
1043 // SAFETY: The memory behind `self.as_ptr()` is guaranteed to contain `self.len` in borrow()
1055 // SAFETY: The memory behind `self.as_ptr()` is guaranteed to contain `self.len`
1222 // - `ptr` is guaranteed t
[all...]
/linux/tools/memory-model/Documentation/
H A Dcontrol-dependencies.txt19 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 Dordering.txt87 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

12345678910>>...38