| 62 | deviceInfo(d_name, d_platform, d_toolkit, d_compute); |
| 63 | } |
| 64 | void deviceInfo(char *d_name, char *d_platform, char *d_toolkit, |
| 65 | char *d_compute) { |
| 66 | AF_THROW(af_device_info(d_name, d_platform, d_toolkit, d_compute)); |
| 67 | } |
| 68 | |
| 69 | int getDeviceCount() { |
| 70 | int devices = -1; |
no test coverage detected