now nvptx allows extern "C" task void, which is emits a kernel that should (?) be callable by driver API from external code