Trait sel4::CapTypeForObject

pub trait CapTypeForObject: CapType {
    // Required method
    fn object_type() -> ObjectType;
}

Required Methods

fn object_type() -> ObjectType

Object Safety

This trait is not object safe.

Implementors

impl CapTypeForObject for CNode

impl CapTypeForObject for Endpoint

impl CapTypeForObject for HugePage

impl CapTypeForObject for LargePage

impl CapTypeForObject for Notification

impl CapTypeForObject for PT

impl CapTypeForObject for SchedContext

impl CapTypeForObject for SmallPage

impl CapTypeForObject for Tcb

impl CapTypeForObject for Untyped

impl CapTypeForObject for VCpu

impl CapTypeForObject for VSpace