/* Process record and replay target code for GNU/Linux.
- Copyright (C) 2008-2015 Free Software Foundation, Inc.
+ Copyright (C) 2008-2016 Free Software Foundation, Inc.
This file is part of GDB.
int size_hayes_esp_config;
int size_size_t;
int size_iovec;
+ int size_time_t;
/* The values of the second argument of system call "sys_ioctl". */
int ioctl_TCGETS;