/* Process record and replay target code for GNU/Linux.
- Copyright (C) 2008-2016 Free Software Foundation, Inc.
+ Copyright (C) 2008-2019 Free Software Foundation, Inc.
This file is part of GDB.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>. */
-#ifndef _LINUX_RECORD_H_
-#define _LINUX_RECORD_H_
+#ifndef LINUX_RECORD_H
+#define LINUX_RECORD_H
struct linux_record_tdep
{
gdb_sys_move_pages = 317,
gdb_sys_getcpu = 318,
gdb_sys_epoll_pwait = 319,
+ gdb_sys_fallocate = 324,
+ gdb_sys_eventfd2 = 328,
+ gdb_sys_epoll_create1 = 329,
+ gdb_sys_dup3 = 330,
+ gdb_sys_pipe2 = 331,
+ gdb_sys_inotify_init1 = 332,
gdb_sys_socket = 500,
gdb_sys_connect = 501,
gdb_sys_accept = 502,
extern int record_linux_system_call (enum gdb_syscall num,
struct regcache *regcache,
struct linux_record_tdep *tdep);
-#endif /* _LINUX_RECORD_H_ */
+
+#endif /* LINUX_RECORD_H */