Type Alias sel4::ObjectBlueprintSeL4Arch
source · pub type ObjectBlueprintSeL4Arch = ObjectBlueprintAArch64;Expand description
Alias for ObjectBlueprintAArch64.
Aliased Type§
enum ObjectBlueprintSeL4Arch {
HugePage,
VSpace,
}