1 #ifndef _VX_CONTEXT_CMD_H
2 #define _VX_CONTEXT_CMD_H
7 #define VCMD_task_xid VC_CMD(VINFO, 1, 0)
10 extern int vc_task_xid(uint32_t, void __user *);
12 #endif /* __KERNEL__ */
14 #define VCMD_vx_info VC_CMD(VINFO, 5, 0)
16 struct vcmd_vx_info_v0 {
23 extern int vc_vx_info(struct vx_info *, void __user *);
25 #endif /* __KERNEL__ */
27 #define VCMD_ctx_stat VC_CMD(VSTAT, 0, 0)
29 struct vcmd_ctx_stat_v0 {
36 extern int vc_ctx_stat(struct vx_info *, void __user *);
38 #endif /* __KERNEL__ */
40 /* context commands */
42 #define VCMD_ctx_create_v0 VC_CMD(VPROC, 1, 0)
43 #define VCMD_ctx_create VC_CMD(VPROC, 1, 1)
45 struct vcmd_ctx_create {
49 #define VCMD_ctx_migrate_v0 VC_CMD(PROCMIG, 1, 0)
50 #define VCMD_ctx_migrate VC_CMD(PROCMIG, 1, 1)
52 struct vcmd_ctx_migrate {
57 extern int vc_ctx_create(uint32_t, void __user *);
58 extern int vc_ctx_migrate(struct vx_info *, void __user *);
60 #endif /* __KERNEL__ */
65 #define VCMD_get_cflags VC_CMD(FLAGS, 1, 0)
66 #define VCMD_set_cflags VC_CMD(FLAGS, 2, 0)
68 struct vcmd_ctx_flags_v0 {
74 extern int vc_get_cflags(struct vx_info *, void __user *);
75 extern int vc_set_cflags(struct vx_info *, void __user *);
77 #endif /* __KERNEL__ */
80 /* context caps commands */
82 #define VCMD_get_ccaps_v0 VC_CMD(FLAGS, 3, 0)
83 #define VCMD_set_ccaps_v0 VC_CMD(FLAGS, 4, 0)
85 struct vcmd_ctx_caps_v0 {
91 #define VCMD_get_ccaps VC_CMD(FLAGS, 3, 1)
92 #define VCMD_set_ccaps VC_CMD(FLAGS, 4, 1)
94 struct vcmd_ctx_caps_v1 {
100 extern int vc_get_ccaps_v0(struct vx_info *, void __user *);
101 extern int vc_set_ccaps_v0(struct vx_info *, void __user *);
102 extern int vc_get_ccaps(struct vx_info *, void __user *);
103 extern int vc_set_ccaps(struct vx_info *, void __user *);
105 #endif /* __KERNEL__ */
110 #define VCMD_get_bcaps VC_CMD(FLAGS, 9, 0)
111 #define VCMD_set_bcaps VC_CMD(FLAGS,10, 0)
119 extern int vc_get_bcaps(struct vx_info *, void __user *);
120 extern int vc_set_bcaps(struct vx_info *, void __user *);
122 #endif /* __KERNEL__ */
123 #endif /* _VX_CONTEXT_CMD_H */