Crate sel4_abstract_ptr

Source

Modules§

access
Marker types for limiting access.
memory_type

Macros§

map_field
Provides safe field projection for abstract pointers referencing structs.

Structs§

AbstractPtr
AbstractRef