void GOMP_OFFLOAD_free (int ord, void *ptr) { nvptx_attach_host_thread_to_device (ord); nvptx_free (ptr); }
bool GOMP_OFFLOAD_free (int ord, void *ptr) { return (nvptx_attach_host_thread_to_device (ord) && nvptx_free (ptr)); }