Type Definition xen_sys::__guest_handle_const_vcpu_guest_context_t

pub type __guest_handle_const_vcpu_guest_context_t = *const vcpu_guest_context_t;