| 614 | void OnWindowFocus(int focus); |
| 615 | |
| 616 | static inline void SynchronizeDevice(VkDevice vk_device) |
| 617 | { |
| 618 | vkDeviceWaitIdle(vk_device); |
| 619 | } |
| 620 | |
| 621 | // Implemented per supported platform |
| 622 | const char** GetExtensionNames(uint16_t* num_extensions); |
no outgoing calls
no test coverage detected