[OpenMP][NFC] Added DeviceID and Event pointer to __tgt_async_info
authorShilei Tian <tianshilei1992@gmail.com>
Wed, 17 Jun 2020 18:29:09 +0000 (14:29 -0400)
committerShilei Tian <tianshilei1992@gmail.com>
Wed, 17 Jun 2020 18:29:09 +0000 (14:29 -0400)
commitee1bf45e1d42d7f386d8321c3a8799476344ad91
treeb6ff32faeb00d4e8568a407ff929d79e3829042a
parentbbf89644b5897c7d9508975c289fd861f60e0835
[OpenMP][NFC] Added DeviceID and Event pointer to __tgt_async_info

DeviceID is added for some cases that we only have the __tgt_async_info but do
not know its corresponding device id. However, to communicate with target
plugins, we need that information.

Event is added for another way to synchronize.
openmp/libomptarget/include/omptarget.h