1278
1278
POST_MEM_WRITE( ARG4, sizeof( Addr ) );
1280
1280
addr = deref_Addr ( tid, ARG4, "shmat(addr)" );
1282
ML_(generic_POST_sys_shmat)( tid, addr, ARG2, ARG5, ARG3 );
1281
ML_(generic_POST_sys_shmat)( tid, addr, ARG2, ARG5, ARG3 );
1286
1284
case VKI_SHMDT:
2216
2214
// LINX_(__NR_unshare, sys_unshare), // 310
2217
2215
LINX_(__NR_set_robust_list, sys_set_robust_list), // 311
2218
2216
LINXY(__NR_get_robust_list, sys_get_robust_list), // 312
2217
// LINX_(__NR_splice, sys_ni_syscall), // 313
2218
LINX_(__NR_sync_file_range, sys_sync_file_range), // 314
2220
// LINX_(__NR_tee, sys_ni_syscall), // 315
2221
// LINX_(__NR_vmsplice, sys_ni_syscall), // 316
2222
// LINX_(__NR_move_pages, sys_ni_syscall), // 317
2223
// LINX_(__NR_getcpu, sys_ni_syscall), // 318
2224
LINXY(__NR_epoll_pwait, sys_epoll_pwait), // 319
2220
2226
LINX_(__NR_utimensat, sys_utimensat), // 320
2227
LINXY(__NR_signalfd, sys_signalfd), // 321
2228
LINXY(__NR_timerfd_create, sys_timerfd_create), // 322
2229
LINX_(__NR_eventfd, sys_eventfd), // 323
2230
// LINX_(__NR_fallocate, sys_ni_syscall), // 324
2231
LINXY(__NR_timerfd_settime, sys_timerfd_settime), // 325
2232
LINXY(__NR_timerfd_gettime, sys_timerfd_gettime), // 326
2223
2235
const UInt ML_(syscall_table_size) =