Searched refs:Invariants (Results 1 – 9 of 9) sorted by relevance
| /linux/rust/zerocopy/src/pointer/ |
| H A D | ptr.rs | 60 I: Invariants,
78 I: Invariants,
138 I: Invariants<Aliasing = Shared>,
146 I: Invariants<Aliasing = Shared>,
157 I: Invariants,
227 I: Invariants<Alignment = Aligned, Validity = Valid>,
284 I: Invariants,
432 I: Invariants,
553 I: Invariants,
592 I: Invariants<Validity = Valid>,
[all …]
|
| H A D | invariant.rs | 19 pub trait Invariants: Sealed { interface
25 impl<A: Aliasing, AA: Alignment, V: Validity> Invariants for (A, AA, V) { impl
50 I: Invariants<Alignment = Self, Validity = Valid>, in read()
150 I: Invariants<Alignment = Self, Validity = Valid>, in read()
165 I: Invariants<Alignment = Self, Validity = Valid>, in read()
|
| H A D | mod.rs | 38 I: invariant::Invariants<Validity = invariant::Initialized>, in is_zeroed()
|
| /linux/rust/zerocopy/src/ |
| H A D | split_at.rs | 13 use crate::pointer::invariant::{Aligned, Exclusive, Invariants, Shared, Valid};
808 I: Invariants<Alignment = Aligned, Validity = Valid>,
812 I: Invariants<Aliasing = Shared>, in into_ref()
822 I: Invariants<Aliasing = Exclusive>, in into_mut()
844 I: Invariants<Aliasing = Shared>, in via_immutable()
|
| H A D | wrappers.rs | 829 I: invariant::Invariants,
838 type Invariants = T::Invariants; typedef
|
| H A D | lib.rs | 1276 I: invariant::Invariants,
1285 type Invariants: invariant::Invariants<Aliasing = I::Aliasing>; typedef
1310 I: invariant::Invariants; in is_projectable()
1316 I: invariant::Invariants, in is_projectable()
|
| H A D | impls.rs | 1125 type Invariants = (Aliasing, Alignment, crate::invariant::Uninit);
1151 type Invariants = (Aliasing, Alignment, crate::invariant::Initialized);
1177 type Invariants = (Aliasing, Alignment, crate::invariant::Valid);
|
| /linux/rust/zerocopy-derive/derive/ |
| H A D | try_from_bytes.rs | 292 type Invariants = (Aliasing, Alignment, #zerocopy_crate::invariant::Initialized); in derive_is_bit_valid()
551 type Invariants = (Aliasing, #alignment, #zerocopy_crate::invariant::Initialized); in derive_has_field_struct_union()
|
| /linux/rust/pin-init/ |
| H A D | README.md | 181 /// # Invariants
|