1 #ifndef _VX_NAMESPACE_CMD_H
2 #define _VX_NAMESPACE_CMD_H
5 #define VCMD_enter_namespace VC_CMD(PROCALT, 1, 0)
7 #define VCMD_set_namespace_v0 VC_CMD(PROCALT, 3, 0)
8 #define VCMD_set_namespace VC_CMD(PROCALT, 3, 1)
13 extern int vc_enter_namespace(uint32_t, void __user *);
14 extern int vc_set_namespace(uint32_t, void __user *);
16 #endif /* __KERNEL__ */
17 #endif /* _VX_NAMESPACE_CMD_H */