1 #ifndef _VX_NAMESPACE_H
2 #define _VX_NAMESPACE_H
4 #include <linux/types.h>
5 #include <linux/compiler.h>
8 /* virtual host info names */
10 #define VCMD_vx_set_vhi_name VC_CMD(VHOST, 1, 0)
11 #define VCMD_vx_get_vhi_name VC_CMD(VHOST, 2, 0)
13 struct vcmd_vx_vhi_name_v0 {
19 enum vx_vhi_name_field {
31 extern int vc_set_vhi_name(uint32_t, void __user *);
32 extern int vc_get_vhi_name(uint32_t, void __user *);
34 #endif /* __KERNEL__ */
36 #define VCMD_enter_namespace VC_CMD(PROCALT, 1, 0)
37 #define VCMD_cleanup_namespace VC_CMD(PROCALT, 2, 0)
38 #define VCMD_set_namespace VC_CMD(PROCALT, 3, 0)
46 extern int vx_set_namespace(struct vx_info *, struct namespace *, struct fs_struct *);
48 extern int vc_enter_namespace(uint32_t, void __user *);
49 extern int vc_cleanup_namespace(uint32_t, void __user *);
50 extern int vc_set_namespace(uint32_t, void __user *);
52 #endif /* __KERNEL__ */
53 #endif /* _VX_NAMESPACE_H */