6 /* context signalling */
8 #define VCMD_ctx_kill VC_CMD(PROCTRL, 1, 0)
9 #define VCMD_wait_exit VC_CMD(EVENT, 99, 0)
11 struct vcmd_ctx_kill_v0 {
16 struct vcmd_wait_exit_v0 {
23 extern int vc_ctx_kill(uint32_t, void __user *);
24 extern int vc_wait_exit(uint32_t, void __user *);
26 #endif /* __KERNEL__ */
27 #endif /* _VX_SIGNAL_H */