void DeviceInfo(cl_device_id device) {

	cl_int Error;
	//cl_device_type test;
	char charbuffer[100];
	cl_device_type intbuffer;
	int intbufsize = sizeof(intbuffer);
	int charbufsize = sizeof(charbuffer);


        Error = clGetDeviceInfo(device, CL_DEVICE_TYPE, intbufsize, &intbuffer, NULL);
        if(Error != CL_SUCCESS) {
                printf("Error: clGetDeviceInfo CL_DEVICE_TYPE - %u\n", Error);
                exit(1);
        }
	if(intbuffer == 1) {
		strcpy(charbuffer,"CL_DEVICE_TYPE_CPU");
	}else if(intbuffer == 2) {
		strcpy(charbuffer,"CL_DEVICE_TYPE_GPU");
	}else if(intbuffer == 3) {
		strcpy(charbuffer,"CL_DEVICE_TYPE_ACCELERATOR");
	}else if(intbuffer == 4) {
		strcpy(charbuffer,"CL_DEVICE_TYPE_DEFAULT");
	}else {
		strcpy(charbuffer,"UNKNOWN");
	}

         printf("\t\t\t\tCL_DEVICE_TYPE: %s\n", charbuffer);



	Error = clGetDeviceInfo(device, CL_DEVICE_NAME, charbufsize, &charbuffer, NULL);
	if(Error != CL_SUCCESS) {
		printf("Error: clGetDeviceInfo CL_DEVICE_NAME - %u\n", Error);
		exit(1);
	}
	 printf("\t\t\t\tCL_DEVICE_NAME: %s\n", charbuffer);















}