| /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/drivers/android/ |
| H A D | binder_internal.h | 177 * (invariant after initialized)
186 * (invariant after initialized)
206 * (invariant, no lock needed)
208 * (invariant, no lock needed)
224 * (invariant after initialized)
226 * (invariant after initialized)
228 * (invariant after initialized)
262 * invariant after initialization
358 * (invariant after initialized)
360 * (invariant after initialized)
[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 | 153 * With HV_ACCESS_TSC_INVARIANT feature, invariant TSC (CPUID.80000007H:EDX[8])
161 * If Hyper-V's invariant TSC control is not exposed to the guest, in kvm_hv_invtsc_suppressed()
162 * the invariant TSC CPUID flag is not suppressed, Windows guests were in kvm_hv_invtsc_suppressed()
164 * encouraged to enable Hyper-V's invariant TSC control when invariant in kvm_hv_invtsc_suppressed()
172 * If Hyper-V's invariant TSC control is exposed to the guest, KVM is in kvm_hv_invtsc_suppressed()
173 * 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()
209 // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`. in resolve_aneg_linkmode()
217 // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`. in genphy_soft_reset()
[all …]
|
| /linux/rust/kernel/ |
| H A D | list.rs | 163 // INVARIANT: Pin-init initializers can't be used on an existing `Arc`, so this value will in new()
220 // INVARIANT: Pin-init initializers can't be used on an existing `Arc`, so this value will in new()
265 // INVARIANT: A linked list with one item should be cyclic. in push_back()
272 // SAFETY: By the type invariant, this pointer is valid or null. We just checked that in push_back()
277 // INVARIANT: This correctly inserts `item` between `prev` and `next`. in push_back()
304 // INVARIANT: A linked list with one item should be cyclic. in push_front()
315 // INVARIANT: This correctly inserts `item` between `prev` and `next`. in push_front()
420 // INVARIANT: There are three cases: in remove_internal_inner()
431 // INVARIANT: `item` is being removed, so the pointers should be null. in remove_internal_inner()
436 // INVARIANT in remove_internal_inner()
[all...] |
| H A D | error.rs | 113 // INVARIANT: The check above ensures the type invariant
137 // INVARIANT: The contract ensures the type invariant in to_ptr()
150 // SAFETY: `self.0` is a valid error due to its invariant. in name()
157 // SAFETY: `self.0` is a valid error due to its invariant.
303 // which always fits in an `i16`, as per the invariant above.
345 // `-bindings::MAX_ERRNO` fits in an `i16` as per invariant above,
|
| H A D | rbtree.rs | 188 // INVARIANT: There are no nodes in the tree, so the invariant holds vacuously. in new()
198 // INVARIANT: in iter()
213 // INVARIANT: in iter_mut()
245 // INVARIANT: in cursor_front()
260 // INVARIANT: in cursor_back()
378 // SAFETY: By the type invariant of `Self`, all non-null `rb_node` pointers stored in `self` in get()
425 // SAFETY: By the type invariant of `Self`, all non-null `rb_node` pointers stored in `self` in cursor_lower_bound()
465 // INVARIANT: in cursor_lower_bound()
486 // INVARIANT in drop()
[all...] |
| H A D | task.rs | 188 // created by the calling `Task`. This invariant guarantees that after having acquired a
295 // SAFETY: By the type invariant, we know that `self.0` is valid.
314 // SAFETY: By the type invariant, we know that `self.0` is valid. We received a valid
|
| H A D | firmware.rs | 91 // SAFETY: `self.as_raw()` is valid by the type invariant. in size()
97 // SAFETY: `self.as_raw()` is valid by the type invariant. Additionally, in data()
106 // SAFETY: `self.as_raw()` is valid by the type invariant. in drop()
|
| /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/rust/kernel/sync/ |
| H A D | arc.rs | 196 // INVARIANT: The refcount is initialised to a non-zero value.
219 // INVARIANT: By the safety requirements, the invariants hold.
320 // INVARIANT: We own the only refcount to this arc, so we may create a `UniqueArc`. We in into_unique_or_drop()
361 // SAFETY: By the type invariant, there is necessarily a reference to the object, so it is
375 // INVARIANT: C `refcount_inc` saturates the refcount, so it cannot overflow to zero.
376 // SAFETY: By the type invariant, there is necessarily a reference to the object, so it is
387 // SAFETY: By the type invariant, there is necessarily a reference to the object. We cannot
393 // INVARIANT: If the refcount reaches zero, there are no other instances of `Arc`, and in drop()
394 // this instance is being dropped, so the broken invariant is not observable. in drop()
395 // SAFETY: Also by the type invariant, w in drop()
[all...] |
| /linux/include/drm/ |
| H A D | drm_panic.h | 85 * safely access any state which is invariant in between these two function
95 * stays invariant after the atomic check code has finished is safe to access.
101 * invariant between these two calls. This also means that for drivers using
136 * - An state that isn't invariant and that the driver must be able to access
|
| /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/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/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/rust/kernel/block/mq/ |
| H A D | request.rs | 69 // INVARIANT: By the safety requirements of this function, invariants are upheld.
86 // SAFETY: By type invariant, `self.0` is a valid `struct request` and
124 // SAFETY: By type invariant, `this.0` was a valid `struct request`. The in end_ok()
154 // SAFETY: By type invariant, `self.0` is a valid allocation. Further,
250 // SAFETY: The type invariant of `Request` guarantees that the private in dec_ref()
|
| H A D | raw_writer.rs | 23 // INVARIANT: We null terminated the buffer above. in new()
48 // INVARIANT: We are not overwriting the last byte in write_str()
|
| H A D | gen_disk.rs | 164 // INVARIANT: `gendisk` was initialized above. in build()
165 // INVARIANT: `gendisk` was added to the VFS via `device_add_disk` above. in build()
191 // SAFETY: By type invariant, `self.gendisk` points to a valid and in drop()
|
| /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/rust/kernel/list/ |
| H A D | arc.rs | 327 // INVARIANT: By the safety requirements, the invariants on `ListArc` are satisfied. in transmute_from_arc()
464 /// # Invariant
470 // This value needs to be pinned to justify the INVARIANT: comment in `AtomicTracker::new`.
477 // INVARIANT: Pin-init initializers can't be used on an existing `Arc`, so this value will
494 // INVARIANT: We just created a ListArc, so the boolean should be true.
499 // INVARIANT: We just dropped a ListArc, so the boolean should be false. in on_create_list_arc_from_unique()
504 // SAFETY: If this method returns `true`, then by the type invariant there is no `ListArc` before in on_drop_list_arc()
512 // INVARIANT: If this method returns true, then the boolean used to be false, and is no
|