device_config.h

Go to the documentation of this file.

#ifndef __DEVICE_DEVICE_CONFIG__
#define __DEVICE_DEVICE_CONFIG__
 
typedef double real;
typedef double real_xp;
 
extern void *glb_ctx;
extern void *glb_cmd_queue;
extern void *glb_device_id;
 
#ifdef HAVE_OPENCL
extern void *prf_cmd_queue;
#endif
 
#endif // __DEVICE_DEVICE_CONFIG__