Trait sel4_async_block_io_fat::BlockDevice

pub trait BlockDevice {
    type Error: Debug;

    // Required methods
    async fn read(
        &self,
        blocks: &mut [Block],
        start_block_idx: BlockIdx,
        reason: &str,
    ) -> Result<(), Self::Error>;
    async fn write(
        &self,
        blocks: &[Block],
        start_block_idx: BlockIdx,
    ) -> Result<(), Self::Error>;
    async fn num_blocks(&self) -> Result<BlockCount, Self::Error>;
}

Represents a block device - a device which can read and write blocks (or sectors). Only supports devices which are <= 2 TiB in size.

Required Associated Types

type Error: Debug

The errors that the BlockDevice can return. Must be debug formattable.

Required Methods

async fn read( &self, blocks: &mut [Block], start_block_idx: BlockIdx, reason: &str, ) -> Result<(), Self::Error>

Read one or more blocks, starting at the given block index.

async fn write( &self, blocks: &[Block], start_block_idx: BlockIdx, ) -> Result<(), Self::Error>

Write one or more blocks, starting at the given block index.

async fn num_blocks(&self) -> Result<BlockCount, Self::Error>

Determine how many blocks this device can hold.

Object Safety

This trait is not object safe.

Implementors

impl<T: BlockIO<A, BlockSize = BlockSize512>, A: Access> BlockDevice for BlockIOWrapper<T, A>

type Error = Infallible