Constant sel4::init_thread::slot::VSPACE

source ยท
pub const VSPACE: Slot<VSpace>;
Expand description

Corresponds to seL4_CapInitThreadVSpace.