-// $Id: syscall_getcflags.c,v 1.1 2004/04/14 23:19:51 ensc Exp $ --*- c -*--
+// $Id: syscall_getcflags.c 2207 2005-10-29 10:31:42Z ensc $ --*- c -*--
// Copyright (C) 2004 Enrico Scholz <enrico.scholz@informatik.tu-chemnitz.de>
//
#include "vserver.h"
#include "vserver-internal.h"
-#include "linuxvirtual.h"
+#include "virtual.h"
#if defined(VC_ENABLE_API_V13)
# include "syscall_getcflags-v13.hc"