Struct CapToken 

pub struct CapToken { /* private fields */ }

An unforgeable capability token.

Capability tokens are the sole mechanism for accessing RVM resources. They are created by the kernel and cannot be forged by partitions.

Implementations

impl CapToken

pub const fn new( id: u64, cap_type: CapType, rights: CapRights, epoch: u32, ) -> Self

Create a new capability token.

pub const fn id(self) -> u64

Return the capability identifier.

pub const fn cap_type(self) -> CapType

Return the capability type.

pub const fn rights(self) -> CapRights

Return the access rights.

pub const fn epoch(self) -> u32

Return the epoch counter.

pub const fn has_rights(self, required: CapRights) -> bool

Check whether this token carries the given rights.

pub const fn truncated_hash(self) -> u32

Return a truncated 32-bit hash for witness record embedding.

This is NOT the full capability – it is a truncated hash used for identification without leaking the full token contents.

Trait Implementations

impl Clone for CapToken

fn clone(&self) -> CapToken

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for CapToken

impl Debug for CapToken

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

Formats the value using the given formatter.

impl Eq for CapToken

impl Hash for CapToken

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for CapToken

fn eq(&self, other: &CapToken) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for CapToken