seL4_X86_EPTPT

sel4_sys

Type Alias seL4_X86_EPTPT 

Source 
pub type seL4_X86_EPTPT = seL4_CPtr;