2 * Copyright © 2016 S-Core Corporation
3 * Copyright © 2016-2017 Samsung Electronics co., Ltd. All Rights Reserved.
5 * Permission is hereby granted, free of charge, to any person obtaining a
6 * copy of this software and associated documentation files (the "Software"),
7 * to deal in the Software without restriction, including without limitation
8 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
9 * and/or sell copies of the Software, and to permit persons to whom the
10 * Software is furnished to do so, subject to the following conditions:
12 * The above copyright notice and this permission notice (including the next
13 * paragraph) shall be included in all copies or substantial portions of the
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
21 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
22 * DEALINGS IN THE SOFTWARE.
29 #include <vulkan/vulkan.h>
30 #include <vulkan/vk_tizen.h>
32 #include <vulkan/vk_icd.h>
37 #define VK_TO_HANDLE(type, x) ((type)((uintptr_t)(x)))
38 #define VK_TO_POINTER(type, x) ((type *)((uintptr_t)(x)))
40 #define VK_MAX_DISPLAY_COUNT 16
41 #define VK_MAX_PLANE_COUNT 64
43 typedef struct vk_surface vk_surface_t;
44 typedef struct vk_swapchain vk_swapchain_t;
45 typedef struct vk_buffer vk_buffer_t;
46 typedef struct vk_physical_device vk_physical_device_t;
47 typedef struct vk_display vk_display_t;
48 typedef struct vk_display_plane vk_display_plane_t;
49 typedef struct vk_display_mode vk_display_mode_t;
50 typedef struct vk_icd vk_icd_t;
51 typedef struct vk_tbm_queue_surface vk_tbm_queue_surface_t;
56 PFN_vkGetInstanceProcAddr get_proc_addr;
57 PFN_vkEnumerateDeviceExtensionProperties enum_dev_exts;
59 uint32_t instance_extension_count;
60 VkExtensionProperties *instance_extensions;
62 /* WSI-ICD interface. */
63 PFN_vkCreateImageFromNativeBufferTIZEN create_presentable_image;
64 PFN_vkQueueSignalReleaseImageTIZEN queue_signal_release_image;
65 PFN_vkAcquireImageTIZEN acquire_image;
71 vk_physical_device_t *
72 vk_get_physical_device(VkPhysicalDevice pdev);
75 vk_physical_device_t *pdev;
77 tdm_output *tdm_output;
79 VkDisplayPropertiesKHR prop;
81 uint32_t built_in_mode_count;
82 vk_display_mode_t *built_in_modes;
84 uint32_t custom_mode_count;
85 vk_display_mode_t *custom_modes;
88 struct vk_display_plane {
89 vk_physical_device_t *pdev;
93 VkDisplayPlanePropertiesKHR prop;
95 uint32_t supported_display_count;
96 vk_display_t *supported_displays[VK_MAX_DISPLAY_COUNT];
98 vk_display_t *current_display;
99 uint32_t current_stack_index;
102 struct vk_display_mode {
103 vk_display_t *display;
104 VkDisplayModePropertiesKHR prop;
105 const tdm_output_mode *tdm_mode;
108 struct vk_physical_device {
109 VkPhysicalDevice pdev;
111 tdm_display *tdm_display;
113 uint32_t display_count;
114 vk_display_t displays[VK_MAX_DISPLAY_COUNT];
116 uint32_t plane_count;
117 vk_display_plane_t planes[VK_MAX_PLANE_COUNT];
125 struct vk_swapchain {
126 VkAllocationCallbacks allocator;
127 VkSurfaceKHR surface;
129 VkResult (*get_buffers) (VkDevice,
132 uint32_t *); /* buffer count */
133 VkResult (*acquire_image)(VkDevice,
135 uint64_t, /* timeout */
137 int *); /* sync fd */
138 VkResult (*present_image)(VkQueue,
142 void (*deinit) (VkDevice,
145 uint32_t buffer_count;
146 vk_buffer_t *buffers;
151 struct vk_tbm_queue_surface {
152 VkIcdSurfaceBase base;
154 tbm_surface_queue_h tbm_queue;
158 vk_physical_device_init_display(vk_physical_device_t *pdev);
161 vk_physical_device_fini_display(vk_physical_device_t *pdev);
163 const VkAllocationCallbacks *
164 vk_get_allocator(void *parent, const VkAllocationCallbacks *allocator);
167 vk_alloc(const VkAllocationCallbacks *allocator, size_t size, VkSystemAllocationScope scope);
170 vk_realloc(const VkAllocationCallbacks *allocator, void *mem, size_t size,
171 VkSystemAllocationScope scope);
174 vk_free(const VkAllocationCallbacks *allocator, void *mem);
176 #pragma GCC diagnostic push
177 #pragma GCC diagnostic ignored "-Wswitch"
178 static inline tpl_display_t *
179 vk_get_tpl_display(VkIcdSurfaceBase *sfc)
181 tpl_backend_type_t type = TPL_BACKEND_UNKNOWN;
182 tpl_handle_t native_dpy = NULL;
184 switch (sfc->platform) {
185 case VK_ICD_WSI_PLATFORM_WAYLAND:
186 type = TPL_BACKEND_WAYLAND_VULKAN_WSI_THREAD;
187 native_dpy = ((VkIcdSurfaceWayland *)(uintptr_t)sfc)->display;
189 case VK_ICD_WSI_PLATFORM_TBM_QUEUE:
190 type = TPL_BACKEND_TBM;
191 native_dpy = ((vk_tbm_queue_surface_t *)(uintptr_t)sfc)->bufmgr;
197 tpl_display_t *display = tpl_display_get(native_dpy);
200 display = tpl_display_create(type, native_dpy);
202 tpl_object_reference(display);
207 static inline tpl_handle_t
208 vk_get_tpl_native_window(VkIcdSurfaceBase *sfc)
210 switch (sfc->platform) {
211 case VK_ICD_WSI_PLATFORM_WAYLAND:
212 return ((VkIcdSurfaceWayland *)(uintptr_t)sfc)->surface;
213 case VK_ICD_WSI_PLATFORM_TBM_QUEUE:
214 return ((vk_tbm_queue_surface_t *)(uintptr_t)sfc)->tbm_queue;
220 #pragma GCC diagnostic pop
223 swapchain_tpl_init(VkDevice device, const VkSwapchainCreateInfoKHR *info,
224 vk_swapchain_t *chain, tbm_format format);
227 swapchain_tdm_init(VkDevice device, const VkSwapchainCreateInfoKHR *info,
228 vk_swapchain_t *chain, tbm_format format);
230 /* Entry point proto types. */
231 VKAPI_ATTR PFN_vkVoidFunction VKAPI_CALL
232 vk_icdGetInstanceProcAddr(VkInstance instance, const char *name);
234 VKAPI_ATTR VkResult VKAPI_CALL
235 vk_GetPhysicalDeviceSurfaceSupportKHR(VkPhysicalDevice pdev, uint32_t queue_family_index,
236 VkSurfaceKHR surface, VkBool32 *supported);
238 VKAPI_ATTR VkResult VKAPI_CALL
239 vk_GetPhysicalDeviceSurfaceCapabilitiesKHR(VkPhysicalDevice pdev, VkSurfaceKHR surface,
240 VkSurfaceCapabilitiesKHR *caps);
242 VKAPI_ATTR VkResult VKAPI_CALL
243 vk_GetPhysicalDeviceSurfaceFormatsKHR(VkPhysicalDevice pdev, VkSurfaceKHR surface,
244 uint32_t *format_count, VkSurfaceFormatKHR *formats);
246 VKAPI_ATTR VkResult VKAPI_CALL
247 vk_GetPhysicalDeviceSurfacePresentModesKHR(VkPhysicalDevice pdev, VkSurfaceKHR surface,
248 uint32_t *mode_count, VkPresentModeKHR *modes);
250 VKAPI_ATTR VkResult VKAPI_CALL
251 vk_CreateSwapchainKHR(VkDevice device, const VkSwapchainCreateInfoKHR *info,
252 const VkAllocationCallbacks *allocator, VkSwapchainKHR *swapchain);
254 VKAPI_ATTR void VKAPI_CALL
255 vk_DestroySwapchainKHR(VkDevice device, VkSwapchainKHR swapchain,
256 const VkAllocationCallbacks *allocator);
258 VKAPI_ATTR VkResult VKAPI_CALL
259 vk_GetSwapchainImagesKHR(VkDevice device, VkSwapchainKHR swapchain, uint32_t *image_count,
262 VKAPI_ATTR VkResult VKAPI_CALL
263 vk_AcquireNextImageKHR(VkDevice device, VkSwapchainKHR swapchain, uint64_t timeout,
264 VkSemaphore semaphore, VkFence fence, uint32_t *image_index);
266 VKAPI_ATTR VkResult VKAPI_CALL
267 vk_QueuePresentKHR(VkQueue queue, const VkPresentInfoKHR *info);
269 VKAPI_ATTR VkResult VKAPI_CALL
270 vk_GetPhysicalDeviceDisplayPropertiesKHR(VkPhysicalDevice pdev, uint32_t *prop_count,
271 VkDisplayPropertiesKHR *props);
273 VKAPI_ATTR VkResult VKAPI_CALL
274 vk_GetPhysicalDeviceDisplayPlanePropertiesKHR(VkPhysicalDevice pdev, uint32_t *prop_count,
275 VkDisplayPlanePropertiesKHR *props);
277 VKAPI_ATTR VkResult VKAPI_CALL
278 vk_GetDisplayPlaneSupportedDisplaysKHR(VkPhysicalDevice pdev, uint32_t plane_index,
279 uint32_t *display_count, VkDisplayKHR *displays);
281 VKAPI_ATTR VkResult VKAPI_CALL
282 vk_GetDisplayModePropertiesKHR(VkPhysicalDevice pdev, VkDisplayKHR display, uint32_t *prop_count,
283 VkDisplayModePropertiesKHR *props);
285 VKAPI_ATTR VkResult VKAPI_CALL
286 vk_CreateDisplayModeKHR(VkPhysicalDevice pdev, VkDisplayKHR display,
287 const VkDisplayModeCreateInfoKHR *info,
288 const VkAllocationCallbacks *allocator, VkDisplayModeKHR *mode);
290 VKAPI_ATTR VkResult VKAPI_CALL
291 vk_GetDisplayPlaneCapabilitiesKHR(VkPhysicalDevice pdev, VkDisplayModeKHR mode,
292 uint32_t plane_index, VkDisplayPlaneCapabilitiesKHR *caps);
294 VKAPI_ATTR VkResult VKAPI_CALL
295 vk_CreateSharedSwapchainsKHR(VkDevice device, uint32_t swapchain_count,
296 const VkSwapchainCreateInfoKHR *infos,
297 const VkAllocationCallbacks *allocator, VkSwapchainKHR *swapchains);
299 VKAPI_ATTR VkBool32 VKAPI_CALL
300 vk_GetPhysicalDeviceWaylandPresentationSupportKHR(VkPhysicalDevice pdev,
301 uint32_t queue_family_index,
302 struct wl_display *display);
304 VKAPI_ATTR PFN_vkVoidFunction VKAPI_CALL
305 vk_GetInstanceProcAddr(VkInstance instance, const char *name);
307 VKAPI_ATTR PFN_vkVoidFunction VKAPI_CALL
308 vk_GetDeviceProcAddr(VkDevice device, const char *name);
310 VKAPI_ATTR VkResult VKAPI_CALL
311 vk_EnumerateInstanceExtensionProperties(const char *layer_name, uint32_t *count,
312 VkExtensionProperties *extensions);
314 VKAPI_ATTR VkResult VKAPI_CALL
315 vk_EnumerateDeviceExtensionProperties(VkPhysicalDevice pdev, const char *layer_name,
316 uint32_t *count, VkExtensionProperties *extensions);
318 VKAPI_ATTR VkResult VKAPI_CALL
319 vk_CreateTBMQueueSurfaceKHR(VkInstance instance,
320 const tbm_bufmgr bufmgr, const tbm_surface_queue_h queue,
321 const VkAllocationCallbacks *pAllocator, VkSurfaceKHR *surface);