/* syscall wrappers id we need something */

#ifndef _SYSCALL_H
#define _SYSCALL_H

#ifdef __cplusplus
extern "C" {
#endif

extern int syscall_gettid_available();
extern int syscall_gettid();

#ifdef __cplusplus
}
#endif

#endif //Include sentry