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

pub fn check_obj_bounds_against_capability<TData>(
    addr: u64,
    cap: Cc128Cap,
    expected_perms: u32
) -> Result<()>

Checks that a capability allows access to a TData-sized object at the given addr