Struct sel4::BootInfoPtr

pub struct BootInfoPtr { /* private fields */ }

A wrapped pointer to a BootInfo block.

Access BootInfo via Deref, and BootInfoExtraIter via extra.

Implementations

impl BootInfoPtr

pub unsafe fn new(ptr: *const BootInfo) -> Self

pub fn ptr(&self) -> *const BootInfo

pub fn extra(&self) -> BootInfoExtraIter<'_>

pub fn footprint_size(&self) -> usize

Methods from Deref<Target = BootInfo>

pub fn inner(&self) -> &seL4_BootInfo

pub fn ipc_buffer(&self) -> *mut IpcBuffer

pub fn empty(&self) -> SlotRegion<Null>

pub fn user_image_frames(&self) -> SlotRegion<Granule>

pub fn sched_control(&self) -> SlotRegion<SchedControl>

pub fn untyped(&self) -> SlotRegion<Untyped>

pub fn untyped_list(&self) -> &[UntypedDesc]

pub fn device_untyped_range(&self) -> Range<usize>

pub fn kernel_untyped_range(&self) -> Range<usize>

Trait Implementations

impl Debug for BootInfoPtr

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

Formats the value using the given formatter.

impl Deref for BootInfoPtr

type Target = BootInfo

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.