Type Definition xen_sys::cpu_user_regs_t

pub type cpu_user_regs_t = cpu_user_regs;