#ifndef H_VSERVER_SYSCALL_H
#define H_VSERVER_SYSCALL_H
+#include <sys/types.h>
+#include <unistd.h>
+
+#define CTX_NOCTX ((ctx_t)(-1))
+
#ifdef __cplusplus
extern "C" {
#endif
void vserver_init();
+ ctx_t getctx(pid_t pid);
+
+#define getcctx() (getctx(getpid()))
+
#ifdef __cplusplus
}
#endif