[Vulkan] Mark vkGetMemoryHostPointerPropertiesEXT as optional (#24737)
`vkGetMemoryHostPointerPropertiesEXT` only available if
`VK_EXT_external_memory_host` is available & enabled.
If the extension is not available and the function is marked as
required, `Vulkan device symbol 'vkGetMemoryHostPointerPropertiesEXT'
not found` is thrown, see #24717.
Call-sites are guarded by
`iree_hal_vulkan_allocator_supports_host_allocation_import`.
Signed-off-by: Tobias Fuchs <fuchs@roofline.ai>
diff --git a/runtime/src/iree/hal/drivers/vulkan/util/libvulkan_tables.h b/runtime/src/iree/hal/drivers/vulkan/util/libvulkan_tables.h
index 2b725f4..f3873ec 100644
--- a/runtime/src/iree/hal/drivers/vulkan/util/libvulkan_tables.h
+++ b/runtime/src/iree/hal/drivers/vulkan/util/libvulkan_tables.h
@@ -160,7 +160,7 @@
VkDeviceMemory* pMemory),
ARGS(device, pAllocateInfo, pAllocator, pMemory))
-IREE_HAL_VULKAN_DEVICE_PFN(
+IREE_HAL_VULKAN_DEVICE_OPTIONAL_PFN(
VkResult, vkGetMemoryHostPointerPropertiesEXT,
DECL(VkDevice device, VkExternalMemoryHandleTypeFlagBits handleType,
const void* pHostPointer,