| /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 | 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 | pci.rs | 107 // INVARIANT: `pdev` is valid for the duration of `probe_callback()`. in probe_callback()
127 // INVARIANT: `pdev` is valid for the duration of `remove_callback()`. in remove_callback()
379 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a in device_id()
387 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a in revision_id()
395 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a in dev_id()
403 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a in subsystem_vendor_id()
411 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a in subsystem_device_id()
424 // - by its type invariant `self.as_raw` is always a valid pointer to a `struct pci_dev`. in resource_start()
436 // - by its type invariant `self.as_raw` is always a valid pointer to a `struct pci_dev`. in resource_len()
491 // SAFETY: By the type invariant of `Self`, `self.as_raw()` is a pointer to a valid in as_ref()
[all …]
|
| H A D | auxiliary.rs | 84 // INVARIANT: `adev` is valid for the duration of `probe_callback()`. in probe_callback()
104 // INVARIANT: `adev` is valid for the duration of `remove_callback()`. in remove_callback()
246 // SAFETY: By the type invariant `self.as_raw()` is a valid pointer to a in id()
270 // SAFETY: By the type invariant `self.0.as_raw` is a pointer to the `struct device` in release()
302 // SAFETY: By the type invariant of `Self`, `adev` is a pointer to a valid in dec_ref()
313 // SAFETY: By the type invariant of `Self`, `self.as_raw()` is a pointer to a valid in as_ref()
382 // INVARIANT: The device will remain registered until `auxiliary_device_delete()` is in new()
396 // SAFETY: By the type invariant of `Self`, `self.0.as_ptr()` is a valid registered in drop()
402 // SAFETY: By the type invariant of `Self`, `self.0.as_ptr()` is a valid registered in drop()
|
| 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_mut()
266 // INVARIANT: in cursor_front()
281 // INVARIANT: in cursor_back_mut()
296 // INVARIANT: in cursor_back()
414 // SAFETY: By the type invariant of `Self`, all non-null `rb_node` pointers stored in `self` in get()
464 // INVARIANT in cursor_lower_bound_mut()
[all...] |
| H A D | list.rs | 388 // INVARIANT: Pin-init initializers can't be used on an existing `Arc`, so this value will in new()
442 // INVARIANT: Pin-init initializers can't be used on an existing `Arc`, so this value will in new()
509 // INVARIANT: A linked list with one item should be cyclic. in insert_inner()
516 // SAFETY: By the type invariant, this pointer is valid or null. We just checked that in insert_inner()
521 // INVARIANT: This correctly inserts `item` between `prev` and `next`. in insert_inner()
548 // INVARIANT: `new_elem` is in the list because we just inserted it. in push_front()
649 // INVARIANT: There are three cases: in remove_internal_inner()
660 // INVARIANT: `item` is being removed, so the pointers should be null. in remove_internal_inner()
665 // INVARIANT: There are three cases: in remove_internal_inner()
696 // INVARIANT: All of the elements in `other` become elements of `self`. in push_all_back()
[all …]
|
| H A D | dma.rs | 45 // - By the type invariant of `device::Device`, `self.as_ref().as_raw()` is valid. in dma_set_mask()
62 // - By the type invariant of `device::Device`, `self.as_ref().as_raw()` is valid. in dma_set_coherent_mask()
81 // - By the type invariant of `device::Device`, `self.as_ref().as_raw()` is valid. in dma_set_mask_and_coherent()
100 // - By the type invariant of `device::Device`, `self.as_ref().as_raw()` is valid. in dma_set_max_seg_size()
413 // SAFETY: Device pointer is guaranteed as valid by the type invariant on `Device`. in alloc_attrs()
424 // INVARIANT: in alloc_attrs()
459 // INVARIANT: The type invariant of `Self` guarantees that `size_of::<T> * count` fits into in size()
502 // INVARIANT: The type invariant of `Self` guarantees that `size_of::<T> * count` fits in dma_handle_with_offset()
533 // - The pointer is valid due to type invariant on `CoherentAllocation`, in as_slice()
553 // - The pointer is valid due to type invariant on `CoherentAllocation`, in as_slice_mut()
[all …]
|
| H A D | cpufreq.rs | 143 // INVARIANT: The caller ensures that `ptr` is valid for writing and remains valid for the in from_raw_mut()
158 // SAFETY: By the type invariant, the pointer stored in `self` is valid. in generic_verify()
181 // INVARIANT: The caller ensures that `index` correspond to a valid entry in the [`Table`]. in new()
237 // INVARIANT: The caller ensures that `ptr` is valid for reading and remains valid for the in from_raw()
252 // SAFETY: By the type invariant, the pointer stored in `self` is valid and `index` is in freq()
262 // SAFETY: By the type invariant, the pointer stored in `self` is valid and `index` is in flags()
270 // SAFETY: By the type invariant, the pointer stored in `self` is valid and `index` is in data()
428 // INVARIANT: The caller ensures that `ptr` is valid for reading and remains valid for the in from_raw()
443 // INVARIANT: The caller ensures that `ptr` is valid for writing and remains valid for the in from_raw_mut()
457 // SAFETY: By the type invariant, the pointer stored in `self` is valid. in as_ref()
[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/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/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/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/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/rust/kernel/sync/ |
| H A D | set_once.rs | 59 // INVARIANT: The container is empty and we initialize `init` to `0`. in new()
83 // INVARIANT: If the swap succeeds: in populate()
92 // INVARIANT: in populate()
|
| /linux/include/drm/ |
| H A D | drm_mode_config.h | 464 * Number of encoders on this device. This is invariant over the
472 * invariant over the lifetime of a device and hence doesn't need any
481 * This is invariant over the lifetime of a device and hence doesn't
488 * List of plane objects linked with &drm_plane.head. This is invariant
507 * This is invariant over the lifetime of a device and hence doesn't
516 * invariant over the lifetime of a device and hence doesn't need any
524 * Number of CRTCs on this device linked with &drm_crtc.head. This is invariant over the lifetime
531 * List of CRTC objects linked with &drm_crtc.head. This is invariant
540 * invariant over the lifetime of a device and hence doesn't need any
549 * invariant over the lifetime of a device and hence doesn't need any
|
| /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)
|
| /linux/rust/kernel/debugfs/ |
| H A D | entry.rs | 45 // `dentry` by our invariant. `debugfs_create_dir` handles `NULL` pointers correctly. in dynamic_dir()
66 // * `parent.as_ptr()` is a pointer to a valid `dentry` by invariant. in dynamic_file()
156 /// Due to the type invariant, the value returned from this function will always be an error
|
| /linux/rust/kernel/alloc/ |
| H A D | kvec.rs | 203 // Guaranteed by the type invariant to never underflow. in inc_len()
205 // INVARIANT: By the safety requirements of this method this represents the exact number of in inc_len()
220 // INVARIANT: We relinquish ownership of the elements within the range `[self.len - count, in dec_len()
286 // INVARIANT: Since this is a new, empty `Vec` with no backing memory yet, in new()
302 // - `self.len` is smaller than `self.capacity` by the type invariant and hence, the in spare_capacity_mut()
411 // INVARIANT: This breaks the Vec invariants by making `index` contain an invalid element, in insert_within_capacity()
416 // INVARIANT: This restores the Vec invariants. in insert_within_capacity()
468 // INVARIANT: This breaks the invariants by invalidating the value at index `i`, but we in remove()
478 // INVARIANT: After this call, the invalid value is at the last slot, so the Vec invariants in remove()
559 // INVARIANT: For ZSTs, we store an empty `ArrayLayout`, all other type invariants are in from_raw_parts()
[all …]
|
| /linux/rust/kernel/list/ |
| H A D | arc.rs | 328 // INVARIANT: By the safety requirements, the invariants on `ListArc` are satisfied. in transmute_from_arc()
473 // This value needs to be pinned to justify the INVARIANT: comment in `AtomicTracker::new`.
480 // INVARIANT: Pin-init initializers can't be used on an existing `Arc`, so this value will in new()
497 // INVARIANT: We just created a ListArc, so the boolean should be true. in on_create_list_arc_from_unique()
502 // INVARIANT: We just dropped a ListArc, so the boolean should be false. in on_drop_list_arc()
507 // SAFETY: If this method returns `true`, then by the type invariant there is no `ListArc` before
515 // INVARIANT: If this method returns true, then the boolean used to be false, and is no in try_new_list_arc()
|