-// $Id: syscall_setsched-v13.hc,v 1.4 2004/10/19 21:04:23 ensc Exp $ --*- c -*--
+// $Id: syscall_setsched-v13.hc,v 1.2 2005/08/21 22:07:28 mlhuang Exp $ --*- c -*--
// Copyright (C) 2004 Enrico Scholz <enrico.scholz@informatik.tu-chemnitz.de>
//
#endif
#include "vserver.h"
-#include "sched_cmd.h"
+#include <lib_internal/util.h>
#define VCGET(MASK,VAL) ((data->set_mask & (MASK)) ? (VAL) : SCHED_KEEP);
-
static inline ALWAYSINLINE int
vc_set_sched_v13obs(xid_t xid, struct vc_set_sched const *data)
{
X(set_mask) && X(fill_rate) && X(interval) && X(tokens) &&
X(tokens_min) && X(tokens_max) && X(priority_bias))
return vserver(VCMD_set_sched, CTX_USER2KERNEL(xid),
- (struct vc_set_sched *)(data));
+ const_cast(struct vc_set_sched *)(data));
else {
k_data.set_mask = data->set_mask;
k_data.fill_rate = data->fill_rate;