Module sel4_common::utils

Functions

• MAX_FREE_INDEX
• convert_to_mut_type_ref
• convert_to_mut_type_ref_unsafe
• convert_to_option_mut_type_ref
• convert_to_option_type_ref
• convert_to_type_ref
• cpu_id
• pageBitsForSize