seL4_X86_4K

sel4_sys::_object

Constant seL4_X86_4K 

Source 
pub const seL4_X86_4K: Type = 8;