Trait sel4::CapTypeForFrameObjectOfFixedSize

pub trait CapTypeForFrameObjectOfFixedSize: CapTypeForObjectOfFixedSize + CapTypeForFrameObject {
    const FRAME_OBJECT_TYPE: FrameObjectType;
}

Trait for CapTypeForFrameObjects which correspond to frame objects of fixed size.

Required Associated Constants

const FRAME_OBJECT_TYPE: FrameObjectType

Object Safety

This trait is not object safe.

Implementors

impl CapTypeForFrameObjectOfFixedSize for HugePage

const FRAME_OBJECT_TYPE: FrameObjectType = FrameObjectType::HugePage

impl CapTypeForFrameObjectOfFixedSize for LargePage

const FRAME_OBJECT_TYPE: FrameObjectType = FrameObjectType::LargePage

impl CapTypeForFrameObjectOfFixedSize for SmallPage

const FRAME_OBJECT_TYPE: FrameObjectType = FrameObjectType::SmallPage