seL4_VSpaceBits

sel4_sys

Constant seL4_VSpaceBits 

Source 
pub const seL4_VSpaceBits: u32 = 12;