VSpace

sel4::cap_type

Type Alias VSpace 

Source 
pub type VSpace = PML4;

Aliased Typeยง

pub struct VSpace;