| 86 | } |
| 87 | |
| 88 | extern "C" int |
| 89 | timer_gettime(timer_t timerid, struct itimerspec *curr_value) |
| 90 | { |
| 91 | DMTCP_PLUGIN_DISABLE_CKPT(); |
| 92 | timer_t realId = VIRTUAL_TO_REAL_TIMER_ID(timerid); |
| 93 | int ret = _real_timer_gettime(realId, curr_value); |
| 94 | DMTCP_PLUGIN_ENABLE_CKPT(); |
| 95 | return ret; |
| 96 | } |
| 97 | |
| 98 | extern "C" int |
| 99 | timer_getoverrun(timer_t timerid) |