| 56 | } |
| 57 | |
| 58 | extern "C" int |
| 59 | timer_delete(timer_t timerid) |
| 60 | { |
| 61 | DMTCP_PLUGIN_DISABLE_CKPT(); |
| 62 | timer_t realId = VIRTUAL_TO_REAL_TIMER_ID(timerid); |
| 63 | int ret = _real_timer_delete(realId); |
| 64 | if (ret != -1) { |
| 65 | TimerList::instance().on_timer_delete(timerid); |
| 66 | JTRACE("Deleted timer") (timerid); |
| 67 | } |
| 68 | DMTCP_PLUGIN_ENABLE_CKPT(); |
| 69 | return ret; |
| 70 | } |
| 71 | |
| 72 | extern "C" int |
| 73 | timer_settime(timer_t timerid, |
nothing calls this directly
no test coverage detected