ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cuda_error.h
Go to the documentation of this file.
1#pragma once
2
6typedef enum cudaError
7{
15
21
27
33
38
45
53
60
67
73
74 /*
75 * This indicates that a call tried to access an exclusive-thread device that
76 * is already in use by a different thread.
77 */
79
85
91
97
107
116
121
126
132
137
145
150
155
161
167
173
179
186
192
197
202
207
212
217
222
227
233
239
247
256
267
278
284
291
298
304
311
319
326
332
338
347
355
364
375
384
394
399
405
411
413
cudaError_t lastError
Definition cuda_error.h:414
cudaError
Error codes.
Definition cuda_error.h:7
@ CUDA_ERROR_NOT_MAPPED_AS_ARRAY
This indicates that a mapped resource is not available for access as an array.
Definition cuda_error.h:160
@ CUDA_ERROR_INVALID_IMAGE
This indicates that the device kernel image is invalid.
Definition cuda_error.h:96
@ CUDA_ERROR_PRIMARY_CONTEXT_ACTIVE
This error indicates that the primary context for the specified device has already been initialized.
Definition cuda_error.h:303
@ CUDA_ERROR_PROFILER_ALREADY_STOPPED
Definition cuda_error.h:66
@ CUDA_ERROR_HARDWARE_STACK_ERROR
While executing a kernel, the device encountered a stack error.
Definition cuda_error.h:346
@ CUDA_ERROR_INVALID_HANDLE
This indicates that a resource handle passed to the API call was not valid.
Definition cuda_error.h:232
@ CUDA_ERROR_TOO_MANY_PEERS
This error indicates that the hardware resources required to enable peer access have been exhausted f...
Definition cuda_error.h:325
@ CUDA_ERROR_MISALIGNED_ADDRESS
While executing a kernel, the device encountered a load or store instruction on a memory address whic...
Definition cuda_error.h:363
@ CUDA_ERROR_CONTEXT_ALREADY_IN_USE
This indicates that the CUcontext passed to the API call can only be bound to a single CPU thread at ...
Definition cuda_error.h:185
@ CUDA_ERROR_ALREADY_MAPPED
This indicates that the resource is already mapped.
Definition cuda_error.h:136
@ CUDA_ERROR_OUT_OF_MEMORY
The API call failed because it was unable to allocate enough memory to perform the requested operatio...
Definition cuda_error.h:26
@ CUDA_ERROR_ALREADY_ACQUIRED
This indicates that a resource has already been acquired.
Definition cuda_error.h:149
@ CUDA_ERROR_ILLEGAL_INSTRUCTION
While executing a kernel, the device encountered an illegal instruction.
Definition cuda_error.h:354
@ CUDA_ERROR_FILE_NOT_FOUND
This indicates that the file specified was not found.
Definition cuda_error.h:211
@ CUDA_ERROR_UNMAP_FAILED
This indicates that an unmap or unregister operation has failed.
Definition cuda_error.h:125
@ cudaErrorDeviceAlreadyInUse
Definition cuda_error.h:78
@ CUDA_ERROR_PEER_ACCESS_ALREADY_ENABLED
This error indicates that a call to cuCtxEnablePeerAccess() is trying to re-enable peer access to a c...
Definition cuda_error.h:290
@ CUDA_ERROR_NO_BINARY_FOR_GPU
This indicates that there is no kernel image available that is suitable for the device.
Definition cuda_error.h:144
@ CUDA_ERROR_LAUNCH_FAILED
An exception occurred on the device while executing a kernel.
Definition cuda_error.h:393
@ CUDA_ERROR_NOT_SUPPORTED
This error indicates that the attempted operation is not supported on the current system or device.
Definition cuda_error.h:404
@ CUDA_ERROR_SHARED_OBJECT_SYMBOL_NOT_FOUND
This indicates that a link to a shared object failed to resolve.
Definition cuda_error.h:216
@ CUDA_ERROR_PEER_ACCESS_NOT_ENABLED
This error indicates that cuCtxDisablePeerAccess() is trying to disable peer access which has not bee...
Definition cuda_error.h:297
@ CUDA_ERROR_PROFILER_DISABLED
This indicates profiler is not initialized for this run.
Definition cuda_error.h:44
@ CUDA_ERROR_INVALID_ADDRESS_SPACE
While executing a kernel, the device encountered an instruction which can only operate on memory loca...
Definition cuda_error.h:374
@ CUDA_ERROR_LAUNCH_TIMEOUT
This indicates that the device kernel took too long to execute.
Definition cuda_error.h:277
@ CUDA_ERROR_INVALID_PC
While executing a kernel, the device program counter wrapped its address space.
Definition cuda_error.h:383
@ CUDA_ERROR_INVALID_DEVICE
This indicates that the device ordinal supplied by the user does not correspond to a valid CUDA devic...
Definition cuda_error.h:90
@ CUDA_ERROR_NO_DEVICE
This indicates that no CUDA-capable devices were detected by the installed CUDA driver.
Definition cuda_error.h:84
@ CUDA_ERROR_INVALID_GRAPHICS_CONTEXT
This indicates an error with OpenGL or DirectX context.
Definition cuda_error.h:201
@ CUDA_ERROR_NOT_INITIALIZED
This indicates that the CUDA driver has not been initialized with cuInit() or that initialization has...
Definition cuda_error.h:32
@ CUDA_ERROR_INVALID_VALUE
This indicates that one or more of the parameters passed to the API call is not within an acceptable ...
Definition cuda_error.h:20
@ cudaErrorInvalidDevice
This indicates that the device ordinal supplied by the user does not correspond to a valid CUDA devic...
Definition cuda_error.h:72
@ CUDA_ERROR_HOST_MEMORY_ALREADY_REGISTERED
This error indicates that the memory range passed to cuMemHostRegister() has already been registered.
Definition cuda_error.h:331
@ CUDA_ERROR_LAUNCH_INCOMPATIBLE_TEXTURING
This error indicates a kernel launch that uses an incompatible texturing mode.
Definition cuda_error.h:283
@ CUDA_SUCCESS
The API call returned with no errors.
Definition cuda_error.h:13
@ CUDA_ERROR_INVALID_CONTEXT
This most frequently indicates that there is no context bound to the current thread.
Definition cuda_error.h:106
@ CUDA_ERROR_INVALID_PTX
This indicates that a PTX JIT compilation failed.
Definition cuda_error.h:196
@ CUDA_ERROR_NOT_MAPPED_AS_POINTER
This indicates that a mapped resource is not available for access as a pointer.
Definition cuda_error.h:166
@ CUDA_ERROR_DEINITIALIZED
This indicates that the CUDA driver is in the process of shutting down.
Definition cuda_error.h:37
@ CUDA_ERROR_NOT_FOUND
This indicates that a named symbol was not found.
Definition cuda_error.h:238
@ CUDA_ERROR_CONTEXT_IS_DESTROYED
This error indicates that the context current to the calling thread has been destroyed using cuCtxDes...
Definition cuda_error.h:310
@ CUDA_ERROR_PROFILER_NOT_INITIALIZED
Definition cuda_error.h:52
@ CUDA_ERROR_PROFILER_ALREADY_STARTED
Definition cuda_error.h:59
@ CUDA_ERROR_LAUNCH_OUT_OF_RESOURCES
This indicates that a launch did not occur because it did not have appropriate resources.
Definition cuda_error.h:266
@ CUDA_ERROR_ARRAY_IS_MAPPED
This indicates that the specified array is currently mapped and thus cannot be destroyed.
Definition cuda_error.h:131
@ CUDA_ERROR_MAP_FAILED
This indicates that a map or register operation has failed.
Definition cuda_error.h:120
@ CUDA_ERROR_ILLEGAL_ADDRESS
While executing a kernel, the device encountered a load or store instruction on an invalid memory add...
Definition cuda_error.h:255
@ CUDA_ERROR_ECC_UNCORRECTABLE
This indicates that an uncorrectable ECC error was detected during execution.
Definition cuda_error.h:172
@ CUDA_ERROR_UNKNOWN
This indicates that an unknown internal error has occurred.
Definition cuda_error.h:409
@ CUDA_ERROR_OPERATING_SYSTEM
This indicates that an OS call failed.
Definition cuda_error.h:226
@ CUDA_ERROR_UNSUPPORTED_LIMIT
This indicates that the CUlimit passed to the API call is not supported by the active device.
Definition cuda_error.h:178
@ CUDA_ERROR_PEER_ACCESS_UNSUPPORTED
This indicates that peer access is not supported across the given devices.
Definition cuda_error.h:191
@ CUDA_ERROR_ASSERT
A device-side assert triggered during kernel execution.
Definition cuda_error.h:318
@ CUDA_ERROR_SHARED_OBJECT_INIT_FAILED
This indicates that initialization of a shared object failed.
Definition cuda_error.h:221
@ CUDA_ERROR_NOT_MAPPED
This indicates that a resource is not mapped.
Definition cuda_error.h:154
@ CUDA_ERROR_CONTEXT_ALREADY_CURRENT
This indicated that the context being supplied as a parameter to the API call was already the active ...
Definition cuda_error.h:115
@ CUDA_ERROR_NOT_PERMITTED
This error indicates that the attempted operation is not permitted.
Definition cuda_error.h:398
@ CUDA_ERROR_INVALID_SOURCE
This indicates that the device kernel source is invalid.
Definition cuda_error.h:206
@ cudaSuccess
Definition cuda_error.h:14
@ CUDA_ERROR_HOST_MEMORY_NOT_REGISTERED
This error indicates that the pointer passed to cuMemHostUnregister() does not correspond to any curr...
Definition cuda_error.h:337
@ CUDA_ERROR_NOT_READY
This indicates that asynchronous operations issued previously have not completed yet.
Definition cuda_error.h:246
enum cudaError CUresult
Error codes.
enum cudaError cudaError_t
Definition cuda_error.h:412