- i -

• ibv_get_device_list() : dmtcpworker.cpp
• initialize_libc_wrappers() : syscallsreal.c , syscallwrappers.h
• initialize_libpthread_wrappers() : syscallsreal.c , syscallwrappers.h
• initialize_wrappers() : nosyscallsreal.c
• initializeJalib() : jalibinterface.cpp
• ioctl() : pid_filewrappers.cpp