// SPDX-License-Identifier: GPL-2.0-or-later
/*
* Copyright (c) 2018 Google, Inc.
*/
#ifndef TGKILL_H
#define TGKILL_H
#include "config.h"
#include "lapi/syscalls.h"
static inline int sys_tgkill(int tgid, int tid, int sig)
{
return tst_syscall(__NR_tgkill, tgid, tid, sig);
}
static inline pid_t sys_gettid(void)
{
return tst_syscall(__NR_gettid);
}
#endif /* TGKILL_H */