- v -

• VIRTUAL_TO_REAL_CLOCK_ID : timerlist.h
• VIRTUAL_TO_REAL_MSQ_ID : sysvipc.h
• VIRTUAL_TO_REAL_PID : virtualpidtable.h
• VIRTUAL_TO_REAL_SEM_ID : sysvipc.h
• VIRTUAL_TO_REAL_SHM_ID : sysvipc.h
• VIRTUAL_TO_REAL_TIMER_ID : timerlist.h
• VOID : dmtcp-test.h