ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cuda_runtime_api.h File Reference
#include "driver_types.h"
#include "host_defines.h"
#include "builtin_types.h"
#include "cuda_device_runtime_api.h"
#include "sm_atomic_functions.h"
#include "cuda_error.h"
#include "call_kernel.h"
#include <stddef.h>
#include <stdio.h>
#include <cstdlib>
Include dependency graph for cuda_runtime_api.h:

Go to the source code of this file.

Classes

struct  cudaDevicesList
 Structure that represents the devices of CUDA. More...
struct  threadsList

Typedefs

typedef struct cudaDevicesList cudaDeviceList_t
 Structure that represents the devices of CUDA.
typedef struct threadsList threadsList_t

Functions

cudaError_t __cudaMemcpy (void *dst, const void *src, size_t count, enum cudaMemcpyKind kind)
 impl_private
template<class T1, class T2>
cudaError_t cudaMemcpy (T1 dst, T2 src, size_t count, enum cudaMemcpyKind kind)
cudaError_t cudaMalloc (void **devPtr, size_t size)
cudaError_t cudaFree (void *devPtr)
const char * cudaGetErrorString (cudaError_t error)
void cudaDeviceInsert (int device)
void cudaPrintDevice ()
int searchCudaDevice (int device)
int cudaDeviceActive (int device)
int cudaDeviceStart (int device)
cudaError_t cudaSetDevice (int device)
cudaError_t cudaGetDeviceCount (int *count)
cudaError_t cudaDeviceReset ()
cudaError_t cudaMemcpyToSymbol (const void *symbol, const void *src, size_t count, size_t offset __dv(0), enum cudaMemcpyKind kind __dv(cudaMemcpyHostToDevice))
cudaError_t cudaMemcpyFromSymbol (void *dst, const void *symbol, size_t count, size_t offset __dv(0), enum cudaMemcpyKind kind __dv(cudaMemcpyDeviceToHost))
__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaGetDeviceProperties (struct cudaDeviceProp *prop, int device)
cudaError_t cudaGetLastError ()
cudaError_t cudaThreadSynchronize ()
__device__ __cudart_builtin__ cudaError_t CUDARTAPI cudaDeviceGetAttribute (int *value, enum cudaDeviceAttr attr, int device)
cudaError_t cudaDeviceGetLimit (int device)
cudaError_t cudaDeviceGetCacheConfig (int device)
cudaError_t cudaDeviceGetSharedMemConfig (int device)
cudaError_t cudaPeekAtLastError (int device)
void __syncthreads ()
void __threadfence ()
__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaDeviceSynchronize (void)
__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaDeviceGetStreamPriorityRange (int *leastPriority, int *greatestPriority)
__host__ cudaError_t CUDARTAPI cudaDeviceGetByPCIBusId (int *device, const char *pciBusId)
__host__ cudaError_t CUDARTAPI cudaDeviceGetPCIBusId (char *pciBusId, int len, int device)
__host__ cudaError_t CUDARTAPI cudaIpcCloseMemHandle (void *devPtr)
__host__ cudaError_t CUDARTAPI cudaThreadExit (void)
__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaPeekAtLastError (void)
__host__ __cudart_builtin__ const char *CUDARTAPI cudaGetErrorName (cudaError_t error)
__host__ cudaError_t CUDARTAPI cudaChooseDevice (int *device, const struct cudaDeviceProp *prop)
__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaGetDevice (int *device)
__host__ cudaError_t CUDARTAPI cudaSetValidDevices (int *device_arr, int len)
__host__ cudaError_t CUDARTAPI cudaSetDeviceFlags (unsigned int flags)
__host__ cudaError_t CUDARTAPI cudaEventCreate (cudaEvent_t *event)
__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaEventCreateWithFlags (cudaEvent_t *event, unsigned int flags)
__host__ cudaError_t CUDARTAPI cudaEventQuery (cudaEvent_t event)
__host__ cudaError_t CUDARTAPI cudaEventSynchronize (cudaEvent_t event)
__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaEventDestroy (cudaEvent_t event)
__host__ cudaError_t CUDARTAPI cudaEventElapsedTime (float *ms, cudaEvent_t start, cudaEvent_t end)
__host__ cudaError_t CUDARTAPI cudaSetupArgument (const void *arg, size_t size, size_t offset)
__host__ cudaError_t CUDARTAPI cudaLaunch (const void *func)
__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaFuncGetAttributes (struct cudaFuncAttributes *attr, const void *func)
__host__ cudaError_t CUDARTAPI cudaSetDoubleForDevice (double *d)
__host__ cudaError_t CUDARTAPI cudaSetDoubleForHost (double *d)
__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaMallocManaged (void **devPtr, size_t size, unsigned int flags)
__host__ cudaError_t CUDARTAPI cudaMallocHost (void **ptr, size_t size)
__host__ cudaError_t CUDARTAPI cudaMallocPitch (void **devPtr, size_t *pitch, size_t width, size_t height)
__host__ cudaError_t CUDARTAPI cudaFreeHost (void *ptr)
__host__ cudaError_t CUDARTAPI cudaHostAlloc (void **pHost, size_t size, unsigned int flags)
__host__ cudaError_t CUDARTAPI cudaHostRegister (void *ptr, size_t size, unsigned int flags)
__host__ cudaError_t CUDARTAPI cudaHostUnregister (void *ptr)
__host__ cudaError_t CUDARTAPI cudaHostGetDevicePointer (void **pDevice, void *pHost, unsigned int flags)
__host__ cudaError_t CUDARTAPI cudaHostGetFlags (unsigned int *pFlags, void *pHost)
__host__ cudaError_t CUDARTAPI cudaMalloc3D (struct cudaPitchedPtr *pitchedDevPtr, struct cudaExtent extent)
__host__ cudaError_t CUDARTAPI cudaMemcpy3D (const struct cudaMemcpy3DParms *p)
__host__ cudaError_t CUDARTAPI cudaMemcpy3DPeer (const struct cudaMemcpy3DPeerParms *p)
__host__ cudaError_t CUDARTAPI cudaMemGetInfo (size_t *free, size_t *total)
__host__ cudaError_t CUDARTAPI cudaMemcpyPeer (void *dst, int dstDevice, const void *src, int srcDevice, size_t count)
__host__ cudaError_t CUDARTAPI cudaMemcpy2D (void *dst, size_t dpitch, const void *src, size_t spitch, size_t width, size_t height, enum cudaMemcpyKind kind)
__host__ cudaError_t CUDARTAPI cudaMemset (void *devPtr, int value, size_t count)
__host__ cudaError_t CUDARTAPI cudaMemset2D (void *devPtr, size_t pitch, int value, size_t width, size_t height)
__host__ cudaError_t CUDARTAPI cudaMemset3D (struct cudaPitchedPtr pitchedDevPtr, int value, struct cudaExtent extent)
__host__ cudaError_t CUDARTAPI cudaGetSymbolAddress (void **devPtr, const void *symbol)
__host__ cudaError_t CUDARTAPI cudaGetSymbolSize (size_t *size, const void *symbol)
__host__ cudaError_t CUDARTAPI cudaPointerGetAttributes (struct cudaPointerAttributes *attributes, const void *ptr)
cudaError_t cudaDeviceCanAccessPeer (int *canAccessPeer, int device, int peerDevice)
cudaError_t cudaDeviceEnablePeerAccess (int peerDevice, unsigned int flags)
cudaError_t cudaDeviceDisablePeerAccess (int peerDevice)
__host__ cudaError_t CUDARTAPI cudaBindTexture (size_t *offset, const struct textureReference *texref, const void *devPtr, const struct cudaChannelFormatDesc *desc, size_t size __dv(UINT_MAX))
__host__ cudaError_t CUDARTAPI cudaBindTexture2D (size_t *offset, const struct textureReference *texref, const void *devPtr, const struct cudaChannelFormatDesc *desc, size_t width, size_t height, size_t pitch)
__host__ cudaError_t CUDARTAPI cudaUnbindTexture (const struct textureReference *texref)
__host__ cudaError_t CUDARTAPI cudaGetTextureAlignmentOffset (size_t *offset, const struct textureReference *texref)
__host__ cudaError_t CUDARTAPI cudaGetTextureReference (const struct textureReference **texref, const void *symbol)
__host__ cudaError_t CUDARTAPI cudaGetSurfaceReference (const struct surfaceReference **surfref, const void *symbol)
__host__ cudaError_t CUDARTAPI cudaDriverGetVersion (int *driverVersion)
__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaRuntimeGetVersion (int *runtimeVersion)

Variables

cudaDeviceList_t * cudaDeviceList = NULL
threadsList_t * cudaThreadList = NULL

Typedef Documentation

◆ cudaDeviceList_t

Structure that represents the devices of CUDA.

◆ threadsList_t

typedef struct threadsList threadsList_t

Function Documentation

◆ __cudaMemcpy()

cudaError_t __cudaMemcpy ( void * dst,
const void * src,
size_t count,
enum cudaMemcpyKind kind )

impl_private

◆ __syncthreads()

void __syncthreads ( )

◆ __threadfence()

void __threadfence ( )

◆ cudaBindTexture()

__host__ cudaError_t CUDARTAPI cudaBindTexture ( size_t * offset,
const struct textureReference * texref,
const void * devPtr,
const struct cudaChannelFormatDesc * desc,
size_t size __dvUINT_MAX )
extern

◆ cudaBindTexture2D()

__host__ cudaError_t CUDARTAPI cudaBindTexture2D ( size_t * offset,
const struct textureReference * texref,
const void * devPtr,
const struct cudaChannelFormatDesc * desc,
size_t width,
size_t height,
size_t pitch )
extern

◆ cudaChooseDevice()

__host__ cudaError_t CUDARTAPI cudaChooseDevice ( int * device,
const struct cudaDeviceProp * prop )
extern

◆ cudaDeviceActive()

int cudaDeviceActive ( int device)

◆ cudaDeviceCanAccessPeer()

cudaError_t cudaDeviceCanAccessPeer ( int * canAccessPeer,
int device,
int peerDevice )

◆ cudaDeviceDisablePeerAccess()

cudaError_t cudaDeviceDisablePeerAccess ( int peerDevice)

◆ cudaDeviceEnablePeerAccess()

cudaError_t cudaDeviceEnablePeerAccess ( int peerDevice,
unsigned int flags )

◆ cudaDeviceGetAttribute()

__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaDeviceGetAttribute ( int * value,
enum cudaDeviceAttr attr,
int device )
extern

◆ cudaDeviceGetByPCIBusId()

__host__ cudaError_t CUDARTAPI cudaDeviceGetByPCIBusId ( int * device,
const char * pciBusId )
extern

◆ cudaDeviceGetCacheConfig()

cudaError_t cudaDeviceGetCacheConfig ( int device)

◆ cudaDeviceGetLimit()

cudaError_t cudaDeviceGetLimit ( int device)

◆ cudaDeviceGetPCIBusId()

__host__ cudaError_t CUDARTAPI cudaDeviceGetPCIBusId ( char * pciBusId,
int len,
int device )
extern

◆ cudaDeviceGetSharedMemConfig()

cudaError_t cudaDeviceGetSharedMemConfig ( int device)

◆ cudaDeviceGetStreamPriorityRange()

__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaDeviceGetStreamPriorityRange ( int * leastPriority,
int * greatestPriority )
extern

◆ cudaDeviceInsert()

void cudaDeviceInsert ( int device)

◆ cudaDeviceReset()

cudaError_t cudaDeviceReset ( )

◆ cudaDeviceStart()

int cudaDeviceStart ( int device)

◆ cudaDeviceSynchronize()

__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaDeviceSynchronize ( void )
extern

◆ cudaDriverGetVersion()

__host__ cudaError_t CUDARTAPI cudaDriverGetVersion ( int * driverVersion)
extern

◆ cudaEventCreate()

__host__ cudaError_t CUDARTAPI cudaEventCreate ( cudaEvent_t * event)
extern

◆ cudaEventCreateWithFlags()

__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaEventCreateWithFlags ( cudaEvent_t * event,
unsigned int flags )
extern

◆ cudaEventDestroy()

__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaEventDestroy ( cudaEvent_t event)
extern

◆ cudaEventElapsedTime()

__host__ cudaError_t CUDARTAPI cudaEventElapsedTime ( float * ms,
cudaEvent_t start,
cudaEvent_t end )
extern

◆ cudaEventQuery()

__host__ cudaError_t CUDARTAPI cudaEventQuery ( cudaEvent_t event)
extern

◆ cudaEventSynchronize()

__host__ cudaError_t CUDARTAPI cudaEventSynchronize ( cudaEvent_t event)
extern

◆ cudaFree()

cudaError_t cudaFree ( void * devPtr)

◆ cudaFreeHost()

__host__ cudaError_t CUDARTAPI cudaFreeHost ( void * ptr)
extern

◆ cudaFuncGetAttributes()

__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaFuncGetAttributes ( struct cudaFuncAttributes * attr,
const void * func )
extern

◆ cudaGetDevice()

__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaGetDevice ( int * device)
extern

◆ cudaGetDeviceCount()

cudaError_t cudaGetDeviceCount ( int * count)

◆ cudaGetDeviceProperties()

cudaError_t cudaGetDeviceProperties ( struct cudaDeviceProp * prop,
int device )
extern

◆ cudaGetErrorName()

__host__ __cudart_builtin__ const char *CUDARTAPI cudaGetErrorName ( cudaError_t error)
extern

◆ cudaGetErrorString()

__host__ __cudart_builtin__ const char *CUDARTAPI cudaGetErrorString ( cudaError_t error)

◆ cudaGetLastError()

cudaError_t cudaGetLastError ( )

◆ cudaGetSurfaceReference()

__host__ cudaError_t CUDARTAPI cudaGetSurfaceReference ( const struct surfaceReference ** surfref,
const void * symbol )
extern

◆ cudaGetSymbolAddress()

__host__ cudaError_t CUDARTAPI cudaGetSymbolAddress ( void ** devPtr,
const void * symbol )
extern

◆ cudaGetSymbolSize()

__host__ cudaError_t CUDARTAPI cudaGetSymbolSize ( size_t * size,
const void * symbol )
extern

◆ cudaGetTextureAlignmentOffset()

__host__ cudaError_t CUDARTAPI cudaGetTextureAlignmentOffset ( size_t * offset,
const struct textureReference * texref )
extern

◆ cudaGetTextureReference()

__host__ cudaError_t CUDARTAPI cudaGetTextureReference ( const struct textureReference ** texref,
const void * symbol )
extern

◆ cudaHostAlloc()

__host__ cudaError_t CUDARTAPI cudaHostAlloc ( void ** pHost,
size_t size,
unsigned int flags )
extern

◆ cudaHostGetDevicePointer()

__host__ cudaError_t CUDARTAPI cudaHostGetDevicePointer ( void ** pDevice,
void * pHost,
unsigned int flags )
extern

◆ cudaHostGetFlags()

__host__ cudaError_t CUDARTAPI cudaHostGetFlags ( unsigned int * pFlags,
void * pHost )
extern

◆ cudaHostRegister()

__host__ cudaError_t CUDARTAPI cudaHostRegister ( void * ptr,
size_t size,
unsigned int flags )
extern

◆ cudaHostUnregister()

__host__ cudaError_t CUDARTAPI cudaHostUnregister ( void * ptr)
extern

◆ cudaIpcCloseMemHandle()

__host__ cudaError_t CUDARTAPI cudaIpcCloseMemHandle ( void * devPtr)
extern

◆ cudaLaunch()

__host__ cudaError_t CUDARTAPI cudaLaunch ( const void * func)
extern

◆ cudaMalloc()

cudaError_t cudaMalloc ( void ** devPtr,
size_t size )

◆ cudaMalloc3D()

__host__ cudaError_t CUDARTAPI cudaMalloc3D ( struct cudaPitchedPtr * pitchedDevPtr,
struct cudaExtent extent )
extern

◆ cudaMallocHost()

__host__ cudaError_t CUDARTAPI cudaMallocHost ( void ** ptr,
size_t size )
extern

◆ cudaMallocManaged()

__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaMallocManaged ( void ** devPtr,
size_t size,
unsigned int flags )
extern

◆ cudaMallocPitch()

__host__ cudaError_t CUDARTAPI cudaMallocPitch ( void ** devPtr,
size_t * pitch,
size_t width,
size_t height )
extern

◆ cudaMemcpy()

template<class T1, class T2>
cudaError_t cudaMemcpy ( T1 dst,
T2 src,
size_t count,
enum cudaMemcpyKind kind )

◆ cudaMemcpy2D()

__host__ cudaError_t CUDARTAPI cudaMemcpy2D ( void * dst,
size_t dpitch,
const void * src,
size_t spitch,
size_t width,
size_t height,
enum cudaMemcpyKind kind )
extern

◆ cudaMemcpy3D()

__host__ cudaError_t CUDARTAPI cudaMemcpy3D ( const struct cudaMemcpy3DParms * p)
extern

◆ cudaMemcpy3DPeer()

__host__ cudaError_t CUDARTAPI cudaMemcpy3DPeer ( const struct cudaMemcpy3DPeerParms * p)
extern

◆ cudaMemcpyFromSymbol()

cudaError_t cudaMemcpyFromSymbol ( void * dst,
const void * symbol,
size_t count,
size_t offset __dv0,
enum cudaMemcpyKind kind __dvcudaMemcpyDeviceToHost )

◆ cudaMemcpyPeer()

__host__ cudaError_t CUDARTAPI cudaMemcpyPeer ( void * dst,
int dstDevice,
const void * src,
int srcDevice,
size_t count )
extern

◆ cudaMemcpyToSymbol()

cudaError_t cudaMemcpyToSymbol ( const void * symbol,
const void * src,
size_t count,
size_t offset __dv0,
enum cudaMemcpyKind kind __dvcudaMemcpyHostToDevice )

◆ cudaMemGetInfo()

__host__ cudaError_t CUDARTAPI cudaMemGetInfo ( size_t * free,
size_t * total )
extern

◆ cudaMemset()

__host__ cudaError_t CUDARTAPI cudaMemset ( void * devPtr,
int value,
size_t count )
extern

◆ cudaMemset2D()

__host__ cudaError_t CUDARTAPI cudaMemset2D ( void * devPtr,
size_t pitch,
int value,
size_t width,
size_t height )
extern

◆ cudaMemset3D()

__host__ cudaError_t CUDARTAPI cudaMemset3D ( struct cudaPitchedPtr pitchedDevPtr,
int value,
struct cudaExtent extent )
extern

◆ cudaPeekAtLastError() [1/2]

cudaError_t cudaPeekAtLastError ( int device)

◆ cudaPeekAtLastError() [2/2]

__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaPeekAtLastError ( void )
extern

◆ cudaPointerGetAttributes()

__host__ cudaError_t CUDARTAPI cudaPointerGetAttributes ( struct cudaPointerAttributes * attributes,
const void * ptr )
extern

◆ cudaPrintDevice()

void cudaPrintDevice ( )

◆ cudaRuntimeGetVersion()

__host__ __cudart_builtin__ cudaError_t CUDARTAPI cudaRuntimeGetVersion ( int * runtimeVersion)
extern

◆ cudaSetDevice()

__host__ cudaError_t CUDARTAPI cudaSetDevice ( int device)

◆ cudaSetDeviceFlags()

__host__ cudaError_t CUDARTAPI cudaSetDeviceFlags ( unsigned int flags)
extern

◆ cudaSetDoubleForDevice()

__host__ cudaError_t CUDARTAPI cudaSetDoubleForDevice ( double * d)
extern

◆ cudaSetDoubleForHost()

__host__ cudaError_t CUDARTAPI cudaSetDoubleForHost ( double * d)
extern

◆ cudaSetupArgument()

__host__ cudaError_t CUDARTAPI cudaSetupArgument ( const void * arg,
size_t size,
size_t offset )
extern

◆ cudaSetValidDevices()

__host__ cudaError_t CUDARTAPI cudaSetValidDevices ( int * device_arr,
int len )
extern

◆ cudaThreadExit()

__host__ cudaError_t CUDARTAPI cudaThreadExit ( void )
extern

◆ cudaThreadSynchronize()

cudaError_t cudaThreadSynchronize ( )

◆ cudaUnbindTexture()

__host__ cudaError_t CUDARTAPI cudaUnbindTexture ( const struct textureReference * texref)
extern

◆ searchCudaDevice()

int searchCudaDevice ( int device)

Variable Documentation

◆ cudaDeviceList

cudaDeviceList_t* cudaDeviceList = NULL

◆ cudaThreadList

threadsList_t* cudaThreadList = NULL