seL4_X86_EPTPTObject

Constant seL4_X86_EPTPTObject 

Source
pub const seL4_X86_EPTPTObject: u32 = 16777210;