Cuda_ffi.Bindings_typestype cu_result = | CUDA_SUCCESS| CUDA_ERROR_INVALID_VALUE| CUDA_ERROR_OUT_OF_MEMORY| CUDA_ERROR_NOT_INITIALIZED| CUDA_ERROR_DEINITIALIZED| CUDA_ERROR_PROFILER_DISABLED| CUDA_ERROR_PROFILER_NOT_INITIALIZED| CUDA_ERROR_PROFILER_ALREADY_STARTED| CUDA_ERROR_PROFILER_ALREADY_STOPPED| CUDA_ERROR_STUB_LIBRARY| CUDA_ERROR_DEVICE_UNAVAILABLE| CUDA_ERROR_NO_DEVICE| CUDA_ERROR_INVALID_DEVICE| CUDA_ERROR_DEVICE_NOT_LICENSED| CUDA_ERROR_INVALID_IMAGE| CUDA_ERROR_INVALID_CONTEXT| CUDA_ERROR_CONTEXT_ALREADY_CURRENT| CUDA_ERROR_MAP_FAILED| CUDA_ERROR_UNMAP_FAILED| CUDA_ERROR_ARRAY_IS_MAPPED| CUDA_ERROR_ALREADY_MAPPED| CUDA_ERROR_NO_BINARY_FOR_GPU| CUDA_ERROR_ALREADY_ACQUIRED| CUDA_ERROR_NOT_MAPPED| CUDA_ERROR_NOT_MAPPED_AS_ARRAY| CUDA_ERROR_NOT_MAPPED_AS_POINTER| CUDA_ERROR_ECC_UNCORRECTABLE| CUDA_ERROR_UNSUPPORTED_LIMIT| CUDA_ERROR_CONTEXT_ALREADY_IN_USE| CUDA_ERROR_PEER_ACCESS_UNSUPPORTED| CUDA_ERROR_INVALID_PTX| CUDA_ERROR_INVALID_GRAPHICS_CONTEXT| CUDA_ERROR_NVLINK_UNCORRECTABLE| CUDA_ERROR_JIT_COMPILER_NOT_FOUND| CUDA_ERROR_UNSUPPORTED_PTX_VERSION| CUDA_ERROR_JIT_COMPILATION_DISABLED| CUDA_ERROR_UNSUPPORTED_EXEC_AFFINITY| CUDA_ERROR_UNSUPPORTED_DEVSIDE_SYNC| CUDA_ERROR_INVALID_SOURCE| CUDA_ERROR_FILE_NOT_FOUND| CUDA_ERROR_SHARED_OBJECT_SYMBOL_NOT_FOUND| CUDA_ERROR_SHARED_OBJECT_INIT_FAILED| CUDA_ERROR_OPERATING_SYSTEM| CUDA_ERROR_INVALID_HANDLE| CUDA_ERROR_ILLEGAL_STATE| CUDA_ERROR_NOT_FOUND| CUDA_ERROR_NOT_READY| CUDA_ERROR_ILLEGAL_ADDRESS| CUDA_ERROR_LAUNCH_OUT_OF_RESOURCES| CUDA_ERROR_LAUNCH_TIMEOUT| CUDA_ERROR_LAUNCH_INCOMPATIBLE_TEXTURING| CUDA_ERROR_PEER_ACCESS_ALREADY_ENABLED| CUDA_ERROR_PEER_ACCESS_NOT_ENABLED| CUDA_ERROR_PRIMARY_CONTEXT_ACTIVE| CUDA_ERROR_CONTEXT_IS_DESTROYED| CUDA_ERROR_ASSERT| CUDA_ERROR_TOO_MANY_PEERS| CUDA_ERROR_HOST_MEMORY_ALREADY_REGISTERED| CUDA_ERROR_HOST_MEMORY_NOT_REGISTERED| CUDA_ERROR_HARDWARE_STACK_ERROR| CUDA_ERROR_ILLEGAL_INSTRUCTION| CUDA_ERROR_MISALIGNED_ADDRESS| CUDA_ERROR_INVALID_ADDRESS_SPACE| CUDA_ERROR_INVALID_PC| CUDA_ERROR_LAUNCH_FAILED| CUDA_ERROR_COOPERATIVE_LAUNCH_TOO_LARGE| CUDA_ERROR_NOT_PERMITTED| CUDA_ERROR_NOT_SUPPORTED| CUDA_ERROR_SYSTEM_NOT_READY| CUDA_ERROR_SYSTEM_DRIVER_MISMATCH| CUDA_ERROR_COMPAT_NOT_SUPPORTED_ON_DEVICE| CUDA_ERROR_MPS_CONNECTION_FAILED| CUDA_ERROR_MPS_RPC_FAILURE| CUDA_ERROR_MPS_SERVER_NOT_READY| CUDA_ERROR_MPS_MAX_CLIENTS_REACHED| CUDA_ERROR_MPS_MAX_CONNECTIONS_REACHED| CUDA_ERROR_MPS_CLIENT_TERMINATED| CUDA_ERROR_CDP_NOT_SUPPORTED| CUDA_ERROR_CDP_VERSION_MISMATCH| CUDA_ERROR_STREAM_CAPTURE_UNSUPPORTED| CUDA_ERROR_STREAM_CAPTURE_INVALIDATED| CUDA_ERROR_STREAM_CAPTURE_MERGE| CUDA_ERROR_STREAM_CAPTURE_UNMATCHED| CUDA_ERROR_STREAM_CAPTURE_UNJOINED| CUDA_ERROR_STREAM_CAPTURE_ISOLATION| CUDA_ERROR_STREAM_CAPTURE_IMPLICIT| CUDA_ERROR_CAPTURED_EVENT| CUDA_ERROR_STREAM_CAPTURE_WRONG_THREAD| CUDA_ERROR_TIMEOUT| CUDA_ERROR_GRAPH_EXEC_UPDATE_FAILURE| CUDA_ERROR_EXTERNAL_DEVICE| CUDA_ERROR_INVALID_CLUSTER_SIZE| CUDA_ERROR_UNKNOWN| CUDA_ERROR_UNCATEGORIZED of int64val sexp_of_cu_result : cu_result -> Sexplib0.Sexp.tval sexp_of_cu_device : cu_device -> Sexplib0.Sexp.ttype cu_jit_option = | CU_JIT_MAX_REGISTERS| CU_JIT_THREADS_PER_BLOCK| CU_JIT_WALL_TIME| CU_JIT_INFO_LOG_BUFFER| CU_JIT_INFO_LOG_BUFFER_SIZE_BYTES| CU_JIT_ERROR_LOG_BUFFER| CU_JIT_ERROR_LOG_BUFFER_SIZE_BYTES| CU_JIT_OPTIMIZATION_LEVEL| CU_JIT_TARGET_FROM_CUCONTEXT| CU_JIT_TARGET| CU_JIT_FALLBACK_STRATEGY| CU_JIT_GENERATE_DEBUG_INFO| CU_JIT_LOG_VERBOSE| CU_JIT_GENERATE_LINE_INFO| CU_JIT_CACHE_MODE| CU_JIT_NEW_SM3X_OPT| CU_JIT_FAST_COMPILE| CU_JIT_GLOBAL_SYMBOL_NAMES| CU_JIT_GLOBAL_SYMBOL_ADDRESSES| CU_JIT_GLOBAL_SYMBOL_COUNT| CU_JIT_LTO| CU_JIT_FTZ| CU_JIT_PREC_DIV| CU_JIT_PREC_SQRT| CU_JIT_FMA| CU_JIT_REFERENCED_KERNEL_NAMES| CU_JIT_REFERENCED_KERNEL_COUNT| CU_JIT_REFERENCED_VARIABLE_NAMES| CU_JIT_REFERENCED_VARIABLE_COUNT| CU_JIT_OPTIMIZE_UNUSED_DEVICE_VARIABLES| CU_JIT_POSITION_INDEPENDENT_CODE| CU_JIT_NUM_OPTIONS| CU_JIT_UNCATEGORIZED of int64val sexp_of_cu_jit_option : cu_jit_option -> Sexplib0.Sexp.ttype cu_context = cu_context_t Ctypes.structure Ctypes.ptrval cu_context : cu_context Ctypes.typtype cu_module = cu_module_t Ctypes.structure Ctypes.ptrval cu_module : cu_module Ctypes.typtype cu_function = cu_function_t Ctypes.structure Ctypes.ptrval cu_function : cu_function Ctypes.typCUdeviceptr is defined as an unsigned integer type whose size matches the size of a pointer on the target platform.
type cu_stream = cu_stream_t Ctypes.structure Ctypes.ptrval cu_stream : cu_stream Ctypes.typtype cu_event = cu_event_t Ctypes.structure Ctypes.ptrval cu_event : cu_event Ctypes.typtype cu_jit_target = | CU_TARGET_COMPUTE_30| CU_TARGET_COMPUTE_32| CU_TARGET_COMPUTE_35| CU_TARGET_COMPUTE_37| CU_TARGET_COMPUTE_50| CU_TARGET_COMPUTE_52| CU_TARGET_COMPUTE_53| CU_TARGET_COMPUTE_60| CU_TARGET_COMPUTE_61| CU_TARGET_COMPUTE_62| CU_TARGET_COMPUTE_70| CU_TARGET_COMPUTE_72| CU_TARGET_COMPUTE_75| CU_TARGET_COMPUTE_80| CU_TARGET_COMPUTE_86| CU_TARGET_COMPUTE_87| CU_TARGET_COMPUTE_89| CU_TARGET_COMPUTE_90| CU_TARGET_COMPUTE_90A| CU_TARGET_UNCATEGORIZED of int64type cu_device_attribute = | CU_DEVICE_ATTRIBUTE_MAX_THREADS_PER_BLOCK| CU_DEVICE_ATTRIBUTE_MAX_BLOCK_DIM_X| CU_DEVICE_ATTRIBUTE_MAX_BLOCK_DIM_Y| CU_DEVICE_ATTRIBUTE_MAX_BLOCK_DIM_Z| CU_DEVICE_ATTRIBUTE_MAX_GRID_DIM_X| CU_DEVICE_ATTRIBUTE_MAX_GRID_DIM_Y| CU_DEVICE_ATTRIBUTE_MAX_GRID_DIM_Z| CU_DEVICE_ATTRIBUTE_MAX_SHARED_MEMORY_PER_BLOCK| CU_DEVICE_ATTRIBUTE_TOTAL_CONSTANT_MEMORY| CU_DEVICE_ATTRIBUTE_WARP_SIZE| CU_DEVICE_ATTRIBUTE_MAX_PITCH| CU_DEVICE_ATTRIBUTE_MAX_REGISTERS_PER_BLOCK| CU_DEVICE_ATTRIBUTE_CLOCK_RATE| CU_DEVICE_ATTRIBUTE_TEXTURE_ALIGNMENT| CU_DEVICE_ATTRIBUTE_GPU_OVERLAP| CU_DEVICE_ATTRIBUTE_MULTIPROCESSOR_COUNT| CU_DEVICE_ATTRIBUTE_KERNEL_EXEC_TIMEOUT| CU_DEVICE_ATTRIBUTE_INTEGRATED| CU_DEVICE_ATTRIBUTE_CAN_MAP_HOST_MEMORY| CU_DEVICE_ATTRIBUTE_COMPUTE_MODE| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE1D_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_HEIGHT| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE3D_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE3D_HEIGHT| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE3D_DEPTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_LAYERED_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_LAYERED_HEIGHT| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_LAYERED_LAYERS| CU_DEVICE_ATTRIBUTE_SURFACE_ALIGNMENT| CU_DEVICE_ATTRIBUTE_CONCURRENT_KERNELS| CU_DEVICE_ATTRIBUTE_ECC_ENABLED| CU_DEVICE_ATTRIBUTE_PCI_BUS_ID| CU_DEVICE_ATTRIBUTE_PCI_DEVICE_ID| CU_DEVICE_ATTRIBUTE_TCC_DRIVER| CU_DEVICE_ATTRIBUTE_MEMORY_CLOCK_RATE| CU_DEVICE_ATTRIBUTE_GLOBAL_MEMORY_BUS_WIDTH| CU_DEVICE_ATTRIBUTE_L2_CACHE_SIZE| CU_DEVICE_ATTRIBUTE_MAX_THREADS_PER_MULTIPROCESSOR| CU_DEVICE_ATTRIBUTE_ASYNC_ENGINE_COUNT| CU_DEVICE_ATTRIBUTE_UNIFIED_ADDRESSING| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE1D_LAYERED_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE1D_LAYERED_LAYERS| CU_DEVICE_ATTRIBUTE_CAN_TEX2D_GATHER| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_GATHER_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_GATHER_HEIGHT| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE3D_WIDTH_ALTERNATE| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE3D_HEIGHT_ALTERNATE| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE3D_DEPTH_ALTERNATE| CU_DEVICE_ATTRIBUTE_PCI_DOMAIN_ID| CU_DEVICE_ATTRIBUTE_TEXTURE_PITCH_ALIGNMENT| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURECUBEMAP_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURECUBEMAP_LAYERED_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURECUBEMAP_LAYERED_LAYERS| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE1D_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE2D_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE2D_HEIGHT| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE3D_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE3D_HEIGHT| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE3D_DEPTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE1D_LAYERED_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE1D_LAYERED_LAYERS| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE2D_LAYERED_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE2D_LAYERED_HEIGHT| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE2D_LAYERED_LAYERS| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACECUBEMAP_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACECUBEMAP_LAYERED_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACECUBEMAP_LAYERED_LAYERS| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE1D_LINEAR_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_LINEAR_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_LINEAR_HEIGHT| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_LINEAR_PITCH| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_MIPMAPPED_WIDTH| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_MIPMAPPED_HEIGHT| CU_DEVICE_ATTRIBUTE_COMPUTE_CAPABILITY_MAJOR| CU_DEVICE_ATTRIBUTE_COMPUTE_CAPABILITY_MINOR| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE1D_MIPMAPPED_WIDTH| CU_DEVICE_ATTRIBUTE_STREAM_PRIORITIES_SUPPORTED| CU_DEVICE_ATTRIBUTE_GLOBAL_L1_CACHE_SUPPORTED| CU_DEVICE_ATTRIBUTE_LOCAL_L1_CACHE_SUPPORTED| CU_DEVICE_ATTRIBUTE_MAX_SHARED_MEMORY_PER_MULTIPROCESSOR| CU_DEVICE_ATTRIBUTE_MAX_REGISTERS_PER_MULTIPROCESSOR| CU_DEVICE_ATTRIBUTE_MANAGED_MEMORY| CU_DEVICE_ATTRIBUTE_MULTI_GPU_BOARD| CU_DEVICE_ATTRIBUTE_MULTI_GPU_BOARD_GROUP_ID| CU_DEVICE_ATTRIBUTE_HOST_NATIVE_ATOMIC_SUPPORTED| CU_DEVICE_ATTRIBUTE_SINGLE_TO_DOUBLE_PRECISION_PERF_RATIO| CU_DEVICE_ATTRIBUTE_PAGEABLE_MEMORY_ACCESS| CU_DEVICE_ATTRIBUTE_CONCURRENT_MANAGED_ACCESS| CU_DEVICE_ATTRIBUTE_COMPUTE_PREEMPTION_SUPPORTED| CU_DEVICE_ATTRIBUTE_CAN_USE_HOST_POINTER_FOR_REGISTERED_MEM| CU_DEVICE_ATTRIBUTE_COOPERATIVE_LAUNCH| CU_DEVICE_ATTRIBUTE_COOPERATIVE_MULTI_DEVICE_LAUNCH| CU_DEVICE_ATTRIBUTE_MAX_SHARED_MEMORY_PER_BLOCK_OPTIN| CU_DEVICE_ATTRIBUTE_CAN_FLUSH_REMOTE_WRITES| CU_DEVICE_ATTRIBUTE_HOST_REGISTER_SUPPORTED| CU_DEVICE_ATTRIBUTE_PAGEABLE_MEMORY_ACCESS_USES_HOST_PAGE_TABLES| CU_DEVICE_ATTRIBUTE_DIRECT_MANAGED_MEM_ACCESS_FROM_HOST| CU_DEVICE_ATTRIBUTE_VIRTUAL_MEMORY_MANAGEMENT_SUPPORTED| CU_DEVICE_ATTRIBUTE_HANDLE_TYPE_POSIX_FILE_DESCRIPTOR_SUPPORTED| CU_DEVICE_ATTRIBUTE_HANDLE_TYPE_WIN32_HANDLE_SUPPORTED| CU_DEVICE_ATTRIBUTE_HANDLE_TYPE_WIN32_KMT_HANDLE_SUPPORTED| CU_DEVICE_ATTRIBUTE_MAX_BLOCKS_PER_MULTIPROCESSOR| CU_DEVICE_ATTRIBUTE_GENERIC_COMPRESSION_SUPPORTED| CU_DEVICE_ATTRIBUTE_MAX_PERSISTING_L2_CACHE_SIZE| CU_DEVICE_ATTRIBUTE_MAX_ACCESS_POLICY_WINDOW_SIZE| CU_DEVICE_ATTRIBUTE_GPU_DIRECT_RDMA_WITH_CUDA_VMM_SUPPORTED| CU_DEVICE_ATTRIBUTE_RESERVED_SHARED_MEMORY_PER_BLOCK| CU_DEVICE_ATTRIBUTE_SPARSE_CUDA_ARRAY_SUPPORTED| CU_DEVICE_ATTRIBUTE_READ_ONLY_HOST_REGISTER_SUPPORTED| CU_DEVICE_ATTRIBUTE_TIMELINE_SEMAPHORE_INTEROP_SUPPORTED| CU_DEVICE_ATTRIBUTE_MEMORY_POOLS_SUPPORTED| CU_DEVICE_ATTRIBUTE_GPU_DIRECT_RDMA_SUPPORTED| CU_DEVICE_ATTRIBUTE_GPU_DIRECT_RDMA_FLUSH_WRITES_OPTIONS| CU_DEVICE_ATTRIBUTE_GPU_DIRECT_RDMA_WRITES_ORDERING| CU_DEVICE_ATTRIBUTE_MEMPOOL_SUPPORTED_HANDLE_TYPES| CU_DEVICE_ATTRIBUTE_CLUSTER_LAUNCH| CU_DEVICE_ATTRIBUTE_DEFERRED_MAPPING_CUDA_ARRAY_SUPPORTED| CU_DEVICE_ATTRIBUTE_CAN_USE_64_BIT_STREAM_MEM_OPS| CU_DEVICE_ATTRIBUTE_CAN_USE_STREAM_WAIT_VALUE_NOR| CU_DEVICE_ATTRIBUTE_DMA_BUF_SUPPORTED| CU_DEVICE_ATTRIBUTE_IPC_EVENT_SUPPORTED| CU_DEVICE_ATTRIBUTE_MEM_SYNC_DOMAIN_COUNT| CU_DEVICE_ATTRIBUTE_TENSOR_MAP_ACCESS_SUPPORTED| CU_DEVICE_ATTRIBUTE_UNIFIED_FUNCTION_POINTERS| CU_DEVICE_ATTRIBUTE_MULTICAST_SUPPORTED| CU_DEVICE_ATTRIBUTE_MAX| CU_DEVICE_ATTRIBUTE_UNCATEGORIZED of int64