#ifndef VULKAN_WSI_TIZEN_H
#define VULKAN_WSI_TIZEN_H
-#include <stdbool.h>
-#include <vulkan/vk_icd.h>
+#include <vulkan/vulkan.h>
#include <tpl.h>
VkImage
vk_create_presentable_image(VkDevice device, const VkImageCreateInfo *info, tbm_surface_h buffer);
+VkBool32
+vk_signal_semaphore(VkSemaphore semaphore);
+
+VkBool32
+vk_wait_for_semaphores(uint32_t count, VkSemaphore *semaphores);
+
+VkBool32
+vk_signal_fence(VkFence fence);
+
#endif /* VULKAN_WSI_TIZEN_H */
#include <vulkan/vulkan.h>
#include "vulkan-wsi-tizen.h"
#include <stdbool.h>
+#include <vulkan/vk_icd.h>
#include <utils.h>
#include <tpl.h>