Constant sel4_common::registers::SSTATUS_SPP

pub const SSTATUS_SPP: usize = 0x00000100;