seL4_X86_EPTPD

sel4_sys

Type Alias seL4_X86_EPTPD 

Source 
pub type seL4_X86_EPTPD = seL4_CPtr;