Enum rust_cheri_compressed_cap::Cc128[−][src]

pub enum Cc128 {}

Defines the CC128 capability profile as an implementation of the CompressedCapability trait.

Empty enum, so it cannot be itself constructed. If you want a CC128 capability, instantiate Cc128Cap.

Derives Debug, Copy, Clone so that CcxCap can derive them too.

Trait Implementations

`impl CompressedCapability for Cc128`[src]

`type Length = u128`

ccx_length_t Rust-land equivalent - should be a superset of Addr

`type Offset = i128`

ccx_offset_t Rust-land equivalent - should be a superset of Addr

`type Addr = u64`

ccx_addr_t equivalent

ccx_length_t C-land equivalent - should have a memory layout identical to the C ccx_length_t. This is separate from Length because for 128-bit types the Rust and C versions may not look the same. In practice, we just assume they are the same (see crate::c_funcs documentation). Read more

`type FfiOffset = i128`

ccx_offset_t C-land equivalent - should have a memory layout identical to the C ccx_offset_t. See Self::FfiLength for an explanation. Read more

`const MAX_REPRESENTABLE_OTYPE: u32`[src]

The OTYPE field is 18 bits (108:91) in CC128

`const OTYPE_UNSEALED: u32`[src]

`const OTYPE_SENTRY: u32`[src]

`const OTYPE_RESERVED2: u32`[src]

`const OTYPE_RESERVED3: u32`[src]

`const MAX_UNRESERVED_OTYPE: u32`[src]

`fn compress_raw(cap: &CcxCap<Cc128>) -> u64`[src]

`fn decompress_raw(pesbt: u64, cursor: u64, tag: bool) -> CcxCap<Cc128>`[src]

`fn compress_mem(cap: &CcxCap<Cc128>) -> u64`[src]

`fn decompress_mem(pesbt: u64, cursor: u64, tag: bool) -> CcxCap<Cc128>`[src]

`fn get_uperms(cap: &CcxCap<Cc128>) -> u32`[src]

`fn get_perms(cap: &CcxCap<Cc128>) -> u32`[src]

`fn get_otype(cap: &CcxCap<Cc128>) -> u32`[src]

`fn get_reserved(cap: &CcxCap<Cc128>) -> u8`[src]

`fn get_flags(cap: &CcxCap<Cc128>) -> u8`[src]

`fn update_uperms(cap: &mut CcxCap<Cc128>, value: u32)`[src]

`fn update_perms(cap: &mut CcxCap<Cc128>, value: u32)`[src]

`fn update_otype(cap: &mut CcxCap<Cc128>, value: u32)`[src]

`fn update_reserved(cap: &mut CcxCap<Cc128>, value: u8)`[src]

`fn update_flags(cap: &mut CcxCap<Cc128>, value: u8)`[src]

`fn extract_bounds_bits(pesbt: Self::Addr) -> CcxBoundsBits`[src]

`fn set_bounds( cap: &mut CcxCap<Cc128>, req_base: Self::Addr, req_top: Self::Length ) -> bool`[src]

`fn is_representable_cap_exact(cap: &CcxCap<Cc128>) -> bool`[src]

`fn is_representable_new_addr( sealed: bool, base: Self::Addr, length: Self::Length, cursor: Self::Addr, new_cursor: Self::Addr ) -> bool`[src]

`fn make_max_perms_cap( base: Self::Addr, cursor: Self::Addr, top: Self::Length ) -> CcxCap<Cc128>`[src]

`fn get_representable_length(length: Self::Length) -> Self::Length`[src]

`fn get_required_alignment(length: Self::Length) -> Self::Length`[src]

`fn get_alignment_mask(length: Self::Length) -> Self::Length`[src]

`const PERM_GLOBAL: u32`[src]

`const PERM_EXECUTE: u32`[src]

`const PERM_LOAD: u32`[src]

`const PERM_STORE: u32`[src]

`const PERM_LOAD_CAP: u32`[src]

`const PERM_STORE_CAP: u32`[src]

`const PERM_STORE_LOCAL: u32`[src]

`const PERM_SEAL: u32`[src]

`const PERM_CINVOKE: u32`[src]

`const PERM_UNSEAL: u32`[src]

`const PERM_ACCESS_SYS_REGS: u32`[src]

`const PERM_SETCID: u32`[src]

`impl Debug for Cc128`[src]

`fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

`impl Copy for Cc128`[src]

Auto Trait Implementations

`impl RefUnwindSafe for Cc128`

`impl Send for Cc128`

`impl Sync for Cc128`

`impl Unpin for Cc128`

`impl UnwindSafe for Cc128`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> CheriRVFuncs<T> for T where T: CompressedCapability, <T as CompressedCapability>::Offset: TryInto<<T as CompressedCapability>::Addr>,` [src]

`type Cap = CcxCap<T>`

`type CapAddrInt = <T as CompressedCapability>::Addr`

`type CapAddrBits = <T as CompressedCapability>::Addr`

`type CapLen = <T as CompressedCapability>::Length`

`type OType = u32`

`type Perms = u32`

`type Flags = u8`

`pub fn getCapBounds( &<T as CheriRVFuncs<T>>::Cap ) -> (<T as CheriRVFuncs<T>>::CapAddrInt, <T as CheriRVFuncs<T>>::CapLen)`[src]

`pub fn getCapBaseBits( &<T as CheriRVFuncs<T>>::Cap ) -> <T as CheriRVFuncs<T>>::CapAddrBits`[src]

`pub fn getCapTop(&<T as CheriRVFuncs<T>>::Cap) -> <T as CheriRVFuncs<T>>::CapLen`[src]

`pub fn getCapLength( &<T as CheriRVFuncs<T>>::Cap ) -> <T as CheriRVFuncs<T>>::CapLen`[src]

`pub fn inCapBounds( &<T as CheriRVFuncs<T>>::Cap, <T as CheriRVFuncs<T>>::CapAddrBits, <T as CheriRVFuncs<T>>::CapLen ) -> bool`[src]

`pub fn getCapCursor( &<T as CheriRVFuncs<T>>::Cap ) -> <T as CheriRVFuncs<T>>::CapAddrInt`[src]

`pub fn getCapOffsetBits( &<T as CheriRVFuncs<T>>::Cap ) -> <T as CheriRVFuncs<T>>::CapAddrBits`[src]

`pub fn setCapBounds( &<T as CheriRVFuncs<T>>::Cap, <T as CheriRVFuncs<T>>::CapAddrBits, <T as CheriRVFuncs<T>>::CapLen ) -> (bool, <T as CheriRVFuncs<T>>::Cap)`[src]

`pub fn setCapAddr( &<T as CheriRVFuncs<T>>::Cap, <T as CheriRVFuncs<T>>::CapAddrBits ) -> (bool, <T as CheriRVFuncs<T>>::Cap)`[src]

`pub fn setCapOffset( &<T as CheriRVFuncs<T>>::Cap, <T as CheriRVFuncs<T>>::CapAddrBits ) -> (bool, <T as CheriRVFuncs<T>>::Cap)`[src]

`pub fn incCapOffset( &<T as CheriRVFuncs<T>>::Cap, <T as CheriRVFuncs<T>>::CapAddrBits ) -> (bool, <T as CheriRVFuncs<T>>::Cap)`[src]

`pub fn getRepresentableAlignmentMask( <T as CheriRVFuncs<T>>::CapLen ) -> <T as CheriRVFuncs<T>>::CapLen`[src]

`pub fn getRepresentableLength( <T as CheriRVFuncs<T>>::CapLen ) -> <T as CheriRVFuncs<T>>::CapLen`[src]

`pub fn sealCap( &<T as CheriRVFuncs<T>>::Cap, <T as CheriRVFuncs<T>>::OType ) -> <T as CheriRVFuncs<T>>::Cap`[src]

`pub fn unsealCap(&<T as CheriRVFuncs<T>>::Cap) -> <T as CheriRVFuncs<T>>::Cap`[src]

`pub fn isCapSealed(&<T as CheriRVFuncs<T>>::Cap) -> bool`[src]

`pub fn hasReservedOType(&<T as CheriRVFuncs<T>>::Cap) -> bool`[src]

`pub fn invalidateCap( &<T as CheriRVFuncs<T>>::Cap ) -> <T as CheriRVFuncs<T>>::Cap`[src]

`pub fn getCapPerms( &<T as CheriRVFuncs<T>>::Cap ) -> <T as CheriRVFuncs<T>>::Perms`[src]

`pub fn setCapPerms( &<T as CheriRVFuncs<T>>::Cap, <T as CheriRVFuncs<T>>::Perms ) -> <T as CheriRVFuncs<T>>::Cap`[src]

`pub fn getCapFlags( &<T as CheriRVFuncs<T>>::Cap ) -> <T as CheriRVFuncs<T>>::Flags`[src]

`pub fn setCapFlags( &<T as CheriRVFuncs<T>>::Cap, <T as CheriRVFuncs<T>>::Flags ) -> <T as CheriRVFuncs<T>>::Cap`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

`pub fn try_into(self) -> Result<U, >::Error>`[src]

Enum rust_cheri_compressed_cap::Cc128⎘[−][src]

Trait Implementations

impl Clone for Cc128[src]

fn clone(&self) -> Cc128[src]

pub fn clone_from(&mut self, source: &Self)1.0.0[src]

impl CompressedCapability for Cc128[src]

type Length = u128

type Offset = i128

type Addr = u64

type FfiLength = u128

type FfiOffset = i128

const MAX_REPRESENTABLE_OTYPE: u32[src]

const OTYPE_UNSEALED: u32[src]

const OTYPE_SENTRY: u32[src]

const OTYPE_RESERVED2: u32[src]

const OTYPE_RESERVED3: u32[src]

const MAX_UNRESERVED_OTYPE: u32[src]

fn compress_raw(cap: &CcxCap<Cc128>) -> u64[src]

fn decompress_raw(pesbt: u64, cursor: u64, tag: bool) -> CcxCap<Cc128>[src]

fn compress_mem(cap: &CcxCap<Cc128>) -> u64[src]

fn decompress_mem(pesbt: u64, cursor: u64, tag: bool) -> CcxCap<Cc128>[src]

fn get_uperms(cap: &CcxCap<Cc128>) -> u32[src]

fn get_perms(cap: &CcxCap<Cc128>) -> u32[src]

fn get_otype(cap: &CcxCap<Cc128>) -> u32[src]

fn get_reserved(cap: &CcxCap<Cc128>) -> u8[src]

fn get_flags(cap: &CcxCap<Cc128>) -> u8[src]

fn update_uperms(cap: &mut CcxCap<Cc128>, value: u32)[src]

fn update_perms(cap: &mut CcxCap<Cc128>, value: u32)[src]

fn update_otype(cap: &mut CcxCap<Cc128>, value: u32)[src]

fn update_reserved(cap: &mut CcxCap<Cc128>, value: u8)[src]

fn update_flags(cap: &mut CcxCap<Cc128>, value: u8)[src]

fn extract_bounds_bits(pesbt: Self::Addr) -> CcxBoundsBits[src]

fn set_bounds( cap: &mut CcxCap<Cc128>, req_base: Self::Addr, req_top: Self::Length) -> bool[src]

fn is_representable_cap_exact(cap: &CcxCap<Cc128>) -> bool[src]

fn is_representable_new_addr( sealed: bool, base: Self::Addr, length: Self::Length, cursor: Self::Addr, new_cursor: Self::Addr) -> bool[src]

fn make_max_perms_cap( base: Self::Addr, cursor: Self::Addr, top: Self::Length) -> CcxCap<Cc128>[src]

fn get_representable_length(length: Self::Length) -> Self::Length[src]

fn get_required_alignment(length: Self::Length) -> Self::Length[src]

fn get_alignment_mask(length: Self::Length) -> Self::Length[src]

const PERM_GLOBAL: u32[src]

const PERM_EXECUTE: u32[src]

const PERM_LOAD: u32[src]

const PERM_STORE: u32[src]

const PERM_LOAD_CAP: u32[src]

const PERM_STORE_CAP: u32[src]

const PERM_STORE_LOCAL: u32[src]

const PERM_SEAL: u32[src]

const PERM_CINVOKE: u32[src]

const PERM_UNSEAL: u32[src]

const PERM_ACCESS_SYS_REGS: u32[src]

const PERM_SETCID: u32[src]

impl Debug for Cc128[src]

fn fmt(&self, f: &mut Formatter<'_>) -> Result[src]

impl Copy for Cc128[src]