sys_vserver(uint32_t cmd, uint32_t id, void __user *data)
{
long ret = do_vserver(cmd, id, data, 0);
sys_vserver(uint32_t cmd, uint32_t id, void __user *data)
{
long ret = do_vserver(cmd, id, data, 0);
sys32_vserver(uint32_t cmd, uint32_t id, void __user *data)
{
long ret = do_vserver(cmd, id, data, 1);
sys32_vserver(uint32_t cmd, uint32_t id, void __user *data)
{
long ret = do_vserver(cmd, id, data, 1);