| 271 | } |
| 272 | |
| 273 | void* itt_load_pointer_with_acquire_v3( const void* src ) { |
| 274 | void* result = __TBB_load_with_acquire(*static_cast<void*const*>(src)); |
| 275 | ITT_NOTIFY(sync_acquired, const_cast<void*>(src)); |
| 276 | return result; |
| 277 | } |
| 278 | |
| 279 | #if DO_ITT_NOTIFY |
| 280 | void call_itt_notify_v5(int t, void *ptr) { |
no test coverage detected