Searched defs:__TBB_machine_fetchadd4 (Results 1 - 2 of 2) sorted by relevance
| /external/llvm/lib/ExecutionEngine/IntelJITEvents/ |
| H A D | ittnotify_config.h | 258 #define __TBB_machine_fetchadd4(addr, val) __fetchadd4_acq((void *)addr, val) macro
264 __TBB_machine_fetchadd4(volatile void* ptr, long addend) ITT_INLINE_ATTRIBUTE;
265 ITT_INLINE long __TBB_machine_fetchadd4(volatile void* ptr, long addend) function
280 return __TBB_machine_fetchadd4(ptr, 1) + 1L;
|
| /external/v8/src/third_party/vtune/ |
| H A D | ittnotify_config.h | 287 #define __TBB_machine_fetchadd4(addr, val) __fetchadd4_acq((void *)addr, val) macro
292 /*ITT_INLINE int __TBB_machine_fetchadd4(volatile void* ptr, long addend) ITT_INLINE_ATTRIBUTE;
293 ITT_INLINE int __TBB_machine_fetchadd4(volatile void* ptr, long addend)
308 return __TBB_machine_fetchadd4(ptr, 1) + 1;
|
Completed in 50 milliseconds