+ if(vkEnumeratePhysicalDevices(vk, &pdev_count, 0) != 0 || !pdev_count) {
+ fprintf(stderr, "ggfx_init: failed to enumerate physical devices\n");
+ return -1;
+ }
+ if(!(pdev = malloc(pdev_count * sizeof *pdev))) {
+ perror("ggfx_init: failed to allocate memory for physical devices");
+ return -1;
+ }
+ vkEnumeratePhysicalDevices(vk, &pdev_count, pdev);
+
+ printf("Found %d physical devices\n", pdev_count);
+ for(i=0; i<pdev_count; i++) {
+ vkGetPhysicalDeviceProperties(pdev[i], &pdevp);
+ printf(" - %s\n", pdevp.deviceName);
+ }
+