Type Definition xen_sys::__guest_handle_vcpu_guest_context_t

pub type __guest_handle_vcpu_guest_context_t = *mut vcpu_guest_context_t;