7 main (int argc
, char **argv
)
11 if (acc_get_device_type () == acc_device_default
)
14 if (acc_get_num_devices (acc_device_nvidia
) == 0)
17 acc_set_device_type (acc_device_nvidia
);
19 if (acc_get_device_type () != acc_device_nvidia
)
22 acc_shutdown (acc_device_nvidia
);
24 acc_set_device_type (acc_device_nvidia
);
26 if (acc_get_device_type () != acc_device_nvidia
)
29 devnum
= acc_get_num_devices (acc_device_host
);
33 acc_shutdown (acc_device_nvidia
);
35 if (acc_get_device_type () == acc_device_default
)