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;
 
#endif // __DEVICE_DEVICE_CONFIG__