| 493 | } // namespace |
| 494 | |
| 495 | uint64_t record_event(CompNode cn, bool doitnow) { |
| 496 | return CompNodeSyncManager::inst().record(cn, doitnow); |
| 497 | } |
| 498 | |
| 499 | void device_wait_event(CompNode waiter, CompNode waitee, uint64_t event) { |
| 500 | CompNodeSyncManager::inst().device_wait(waiter, waitee, event); |
no test coverage detected