Constant sel4_common::registers::capRegister

source · 
pub const capRegister: usize = 9;