xen_enable_user_iopl
.ct_restore = xen_enable_user_iopl,
xen_enable_user_iopl(NULL);
extern void xen_enable_user_iopl(void *);