extern int vx_set_namespace(struct vx_info *, struct namespace *, struct fs_struct *);
extern int vc_enter_namespace(uint32_t, void __user *);
extern int vx_set_namespace(struct vx_info *, struct namespace *, struct fs_struct *);
extern int vc_enter_namespace(uint32_t, void __user *);