Function rsim::processor::elements::cheri::check_bounds_against_capability[][src]

pub fn check_bounds_against_capability(
    bounds: Range<u64>,
    cap: Cc128Cap,
    expected_perms: u32
) -> Result<()>

Checks that a capability allows access to a given range of byte addresses