static inline ALWAYSINLINE int
vc_ctx_kill_v11(xid_t ctx, pid_t pid, int sig)
{
static inline ALWAYSINLINE int
vc_ctx_kill_v11(xid_t ctx, pid_t pid, int sig)
{
- return vserver(VC_CMD(PROCTRL, 1, 0), ctx, ¶m);
+ return vserver(VCMD_ctx_kill, CTX_USER2KERNEL(ctx), ¶m);