Type Definition xen_sys::vcpu_guest_context_t

pub type vcpu_guest_context_t = vcpu_guest_context;