| /linux/Documentation/userspace-api/media/ |
| H A D | fdl-appendix.rst | 73 .. _fdl-invariant:
75 The "Invariant Sections" are certain
77 as being those of Invariant Sections, in the notice that says that the
237 :ref:`Invariant Sections <fdl-invariant>` and required
271 Preserve all the :ref:`Invariant Sections <fdl-invariant>` of the
282 in title with any :ref:`Invariant Section <fdl-invariant>`.
288 of these sections as invariant. To do this, add their titles to the list
289 of :ref:`Invariant Sections <fdl-invariant>` in the Modified Version's
327 :ref:`Invariant Sections <fdl-invariant>` of all of the original
328 documents, unmodified, and list them all as Invariant Sections of your
[all …]
|
| /linux/LICENSES/deprecated/ |
| H A D | GFDL-1.2 | 8 Invariant Sections, Front-Cover Texts or Back-Cover Texts.
82 The "Invariant Sections" are certain Secondary Sections whose titles
83 are designated, as being those of Invariant Sections, in the notice
86 allowed to be designated as Invariant. The Document may contain zero
87 Invariant Sections. If the Document does not identify any Invariant
223 G. Preserve in that license notice the full lists of Invariant Sections
244 L. Preserve all the Invariant Sections of the Document,
250 or to conflict in title with any Invariant Section.
256 of these sections as invariant. To do this, add their titles to the
257 list of Invariant Sections in the Modified Version's license notice.
[all …]
|
| H A D | GFDL-1.1 | 8 Invariant Sections, Front-Cover Texts or Back-Cover Texts.
79 The "Invariant Sections" are certain Secondary Sections whose titles
80 are designated, as being those of Invariant Sections, in the notice
197 G. Preserve in that license notice the full lists of Invariant Sections
218 L. Preserve all the Invariant Sections of the Document,
224 or to conflict in title with any Invariant Section.
229 of these sections as invariant. To do this, add their titles to the
230 list of Invariant Sections in the Modified Version's license notice.
259 Invariant Sections of all of the original documents, unmodified, and
260 list them all as Invariant Sections of your combined work in its
[all …]
|
| /linux/rust/kernel/ |
| H A D | cpumask.rs | 61 // INVARIANT: The caller ensures that `ptr` is valid for writing and remains valid for the in as_mut_ref()
75 // INVARIANT: The caller ensures that `ptr` is valid for reading and remains valid for the in as_ref()
93 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `__cpumask_set_cpu`. in set()
104 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to in clear()
114 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_test_cpu`. in test()
123 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_setall`. in setall()
132 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_empty`. in empty()
141 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_full`. in full()
150 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_weight`. in weight()
159 // SAFETY: By the type invariant, `Sel in copy()
[all...] |
| H A D | xarray.rs | 69 // INVARIANT: we own the only reference to the array which is being dropped so the in drop()
70 // broken invariant is not observable on function exit. in drop()
74 // SAFETY: `self.xa` is always valid by the type invariant. in drop()
97 // INVARIANT: `xa` is initialized here to an empty, valid [`bindings::xarray`]. in new()
108 // SAFETY: `self.xa` is always valid by the type invariant. in iter()
113 // SAFETY: `self.xa` is always valid by the type invariant. in iter()
123 // SAFETY: `self.xa` is always valid by the type invariant. in try_lock()
136 // SAFETY: `self.xa` is always valid by the type invariant. in lock()
158 // - `self.xa.xa` is always valid by the type invariant. in drop()
185 // SAFETY: `self.xa.xa` is always valid by the type invariant. in load()
[all …]
|
| H A D | auxiliary.rs | 62 // INVARIANT: `adev` is valid for the duration of `probe_callback()`. in probe_callback()
82 // INVARIANT: `adev` is valid for the duration of `probe_callback()`. in remove_callback()
213 // SAFETY: By the type invariant `self.as_raw()` is a valid pointer to a in id()
226 // SAFETY: By the type invariant `self.0.as_raw` is a pointer to the `struct device` in release()
252 // SAFETY: By the type invariant of `Self`, `adev` is a pointer to a valid in dec_ref()
263 // SAFETY: By the type invariant of `Self`, `self.as_raw()` is a pointer to a valid in as_ref()
327 // INVARIANT: The device will remain registered until `auxiliary_device_delete()` is called, in new()
335 // SAFETY: By the type invariant of `Self`, `self.0.as_ptr()` is a valid registered in drop()
341 // SAFETY: By the type invariant of `Self`, `self.0.as_ptr()` is a valid registered in drop()
|
| H A D | list.rs | 388 // INVARIANT: Pin-init initializers can't be used on an existing `Arc`, so this value will in insert_inner()
442 // INVARIANT: Pin-init initializers can't be used on an existing `Arc`, so this value will in pop_back()
509 // INVARIANT: A linked list with one item should be cyclic. in remove_internal()
516 // SAFETY: By the type invariant, this pointer is valid or null. We just checked that
521 // INVARIANT: This correctly inserts `item` between `prev` and `next`. in remove_internal_inner()
548 // INVARIANT: `new_elem` is in the list because we just inserted it. in remove_internal_inner()
646 // INVARIANT: There are three cases:
657 // INVARIANT: `item` is being removed, so the pointers should be null.
662 // INVARIANT: There are three cases: in next()
693 // INVARIANT
[all...] |
| H A D | dma.rs | 43 // - By the type invariant of `device::Device`, `self.as_ref().as_raw()` is valid.
60 // - By the type invariant of `device::Device`, `self.as_ref().as_raw()` is valid.
79 // - By the type invariant of `device::Device`, `self.as_ref().as_raw()` is valid.
394 // SAFETY: Device pointer is guaranteed as valid by the type invariant on `Device`. in dma_handle_with_offset()
407 // INVARIANT:
442 // INVARIANT: The type invariant of `Self` guarantees that `size_of::<T> * count` fits into in as_slice_mut()
472 // INVARIANT: The type invariant of `Self` guarantees that `size_of::<T> * count` fits in write()
503 // - The pointer is valid due to type invariant o
[all...] |
| H A D | rbtree.rs | 188 // INVARIANT: There are no nodes in the tree, so the invariant holds vacuously. in new()
204 // INVARIANT: in iter()
219 // INVARIANT: in iter_mut()
251 // INVARIANT: in cursor_front()
266 // INVARIANT: in cursor_back()
384 … // SAFETY: By the type invariant of `Self`, all non-null `rb_node` pointers stored in `self` in get()
431 … // SAFETY: By the type invariant of `Self`, all non-null `rb_node` pointers stored in `self` in cursor_lower_bound()
471 // INVARIANT: in cursor_lower_bound()
492 // INVARIANT: The loop invariant is that all tree nodes from `next` in postorder are valid. in drop()
501 // INVARIANT: This is the destructor, so we break the type invariant during clean-up, in drop()
[all …]
|
| H A D | cpu.rs | 60 // INVARIANT: The function safety guarantees `id` is a valid CPU id. in from_i32_unchecked()
69 // INVARIANT: `id` has just been checked as a valid CPU ID. in from_i32()
86 // INVARIANT: The function safety guarantees `id` is a valid CPU id. in from_u32_unchecked()
95 // INVARIANT: `id` has just been checked as a valid CPU ID. in from_u32()
|
| H A D | io.rs | 57 /// # Invariant
127 // SAFETY: By the type invariant `addr` is a valid address for MMIO operations.
139 // SAFETY: By the type invariant `addr` is a valid address for MMIO operations.
156 // SAFETY: By the type invariant `addr` is a valid address for MMIO operations.
168 // SAFETY: By the type invariant `addr` is a valid address for MMIO operations.
|
| H A D | pci.rs | 72 // INVARIANT: `pdev` is valid for the duration of `probe_callback()`. in probe_callback()
92 // INVARIANT: `pdev` is valid for the duration of `remove_callback()`. in remove_callback()
386 // SAFETY: The safety requirements are guaranteed by the type invariant of `self.pdev`. in as_raw()
409 // SAFETY: By the type invariant of `Self`, the MMIO range in `self.io` is properly mapped. in resource_len()
450 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a
458 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a
466 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a in dec_ref()
474 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a in as_ref()
482 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a
495 // - by its type invariant `sel in try_from()
[all...] |
| /linux/include/uapi/linux/ |
| H A D | coresight-stm.h | 12 * The CoreSight STM supports guaranteed and invariant timing
15 * ensure the transaction is accepted by the STM. While invariant
17 * will take an invariant amount of time regardless of the
|
| /linux/arch/x86/kvm/ |
| H A D | hyperv.h | 154 * With HV_ACCESS_TSC_INVARIANT feature, invariant TSC (CPUID.80000007H:EDX[8])
162 * If Hyper-V's invariant TSC control is not exposed to the guest, in kvm_hv_invtsc_suppressed()
163 * the invariant TSC CPUID flag is not suppressed, Windows guests were in kvm_hv_invtsc_suppressed()
165 * encouraged to enable Hyper-V's invariant TSC control when invariant in kvm_hv_invtsc_suppressed()
173 * If Hyper-V's invariant TSC control is exposed to the guest, KVM is in kvm_hv_invtsc_suppressed()
174 * responsible for suppressing the invariant TSC CPUID flag if the in kvm_hv_invtsc_suppressed()
|
| /linux/rust/kernel/net/ |
| H A D | phy.rs | 97 // SAFETY: The struct invariant ensures that we may access in phy_id()
105 // SAFETY: The struct invariant ensures that we may access in state()
130 // SAFETY: The struct invariant ensures that we may access in is_link_up()
142 // SAFETY: The struct invariant ensures that we may access in is_autoneg_enabled()
155 // SAFETY: The struct invariant ensures that we may access in is_autoneg_completed()
164 // SAFETY: The struct invariant ensures that we may access in set_speed()
177 // SAFETY: The struct invariant ensures that we may access in set_duplex()
196 // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`. in read_paged()
206 // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`.
214 // SAFETY: `phydev` is pointing to a valid object by the type invariant o
[all...] |
| /linux/Documentation/scheduler/ |
| H A D | sched-capacity.rst | 173 The task utilization signal can be made frequency invariant using the following
178 Applying this formula to the two examples above yields a frequency invariant
211 The task utilization signal can be made CPU invariant using the following
218 invariant task utilization of 25%.
220 2.4 Invariant task utilization
224 order to obtain a truly invariant signal. The pseudo-formula for a task
225 utilization that is both CPU and frequency invariant is thus, for a given
232 In other words, invariant task utilization describes the behaviour of a task as
237 invariant form.
269 As stated in 2.2, capacity-aware scheduling requires a frequency-invariant task
|
| /linux/rust/kernel/net/phy/ |
| H A D | reg.rs | 107 // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Device`. in read()
119 // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Device`. in write()
129 // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`. in read_status()
199 // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Device`. in read()
209 // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Device`. in write()
218 // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`. in read_status()
|
| /linux/arch/riscv/include/asm/ |
| H A D | topology.h | 11 /* Replace task scheduler's default frequency-invariant accounting */
18 /* Replace task scheduler's default cpu-invariant accounting */
|
| /linux/arch/arm/include/asm/ |
| H A D | topology.h | 12 /* Replace task scheduler's default frequency-invariant accounting */
19 /* Replace task scheduler's default cpu-invariant accounting */
|
| /linux/rust/kernel/sync/ |
| H A D | arc.rs | 230 // INVARIANT: The refcount is initialised to a non-zero value. in new()
253 // INVARIANT: By the safety requirements, the invariants hold. in from_inner()
358 // INVARIANT: We own the only refcount to this arc, so we may create a `UniqueArc`. We in into_unique_or_drop()
414 // SAFETY: By the type invariant, there is necessarily a reference to the object, so it is in deref()
453 // INVARIANT: `Refcount` saturates the refcount, so it cannot overflow to zero. in clone()
454 // SAFETY: By the type invariant, there is necessarily a reference to the object, so it is in clone()
465 // INVARIANT: If the refcount reaches zero, there are no other instances of `Arc`, and in drop()
466 // this instance is being dropped, so the broken invariant is not observable. in drop()
467 // SAFETY: By the type invariant, there is necessarily a reference to the object. in drop()
578 // INVARIANT in new()
[all...] |
| /linux/arch/arm64/include/asm/ |
| H A D | topology.h | 22 /* Replace task scheduler's default frequency-invariant accounting */
29 /* Replace task scheduler's default cpu-invariant accounting */
|
| /linux/rust/kernel/block/mq/ |
| H A D | request.rs | 69 // INVARIANT: By the safety requirements of this function, invariants are upheld. in aref_from_raw()
86 // SAFETY: By type invariant, `self.0` is a valid `struct request` and in start_unchecked()
127 // SAFETY: By type invariant, `this.0` was a valid `struct request`. The in end_ok()
150 // SAFETY: By type invariant, `self.0` is a valid `struct request` in wrapper_ptr()
179 // SAFETY: By type invariant, `self.0` is a valid allocation. Further,
241 // SAFETY: The type invariant of `Request` guarantees that the private
|
| /linux/tools/perf/tests/ |
| H A D | hists_filter.c | 188 /* normal stats should be invariant */ in test__hists_filter()
217 /* normal stats should be invariant */ in test__hists_filter()
252 /* normal stats should be invariant */ in test__hists_filter()
281 /* normal stats should be invariant */ in test__hists_filter()
312 /* normal stats should be invariant */ in test__hists_filter()
|
| /linux/Documentation/admin-guide/ |
| H A D | spkguide.txt | 16 Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A
1288 The "Invariant Sections" are certain Secondary Sections whose titles
1289 are designated, as being those of Invariant Sections, in the notice
1292 allowed to be designated as Invariant. The Document may contain zero
1293 Invariant Sections. If the Document does not identify any Invariant
1429 G. Preserve in that license notice the full lists of Invariant Sections
1450 L. Preserve all the Invariant Sections of the Document,
1456 or to conflict in title with any Invariant Section.
1462 of these sections as invariant. To do this, add their titles to the
1463 list of Invariant Sections in the Modified Version's license notice.
[all …]
|
| /linux/drivers/android/ |
| H A D | binder_alloc.h | 84 * @mm: copy of task->mm (invariant after open)
93 * @freelist: lru list to use for free pages (invariant after init)
95 * @pid: pid for associated binder_proc (invariant after init)
|