Type Alias seL4_X86_VCPU 

pub type seL4_X86_VCPU = seL4_CPtr;