Trait sel4::CapTypeForObjectOfFixedSize

pub trait CapTypeForObjectOfFixedSize: CapTypeForObject {
    // Required method
    fn object_blueprint() -> ObjectBlueprint;
}

Required Methods

fn object_blueprint() -> ObjectBlueprint

Object Safety

This trait is not object safe.

Implementors

impl CapTypeForObjectOfFixedSize for Endpoint

impl CapTypeForObjectOfFixedSize for HugePage

impl CapTypeForObjectOfFixedSize for LargePage

impl CapTypeForObjectOfFixedSize for Notification

impl CapTypeForObjectOfFixedSize for PT

impl CapTypeForObjectOfFixedSize for SmallPage

impl CapTypeForObjectOfFixedSize for Tcb

impl CapTypeForObjectOfFixedSize for VCpu

impl CapTypeForObjectOfFixedSize for VSpace