xen_disable_user_iopl
.ct_save = xen_disable_user_iopl,
.ct_exit = xen_disable_user_iopl,
extern void xen_disable_user_iopl(void *);