diff --git a/src/gallium/drivers/zink/zink_device_info.py b/src/gallium/drivers/zink/zink_device_info.py
index 7ac8b3d02d9..7e015b3dda8 100644
--- a/src/gallium/drivers/zink/zink_device_info.py
+++ b/src/gallium/drivers/zink/zink_device_info.py
@@ -777,6 +777,17 @@ zink_verify_device_extensions(struct zink_screen *screen)
       if (!screen->vk.${cmd.name()}) {
          screen->vk.${cmd.name()} = (PFN_${cmd.full_name})screen->vk.${cmd.name().replace("EXT", "KHR")}; /* promoted from EXT */
       }
+%endif
+%if ext.core_since:
+%if not cmd.not_promoted:
+      if (!screen->vk.${cmd.name().rstrip(ext.vendor())}) {
+         screen->vk.${cmd.name().rstrip(ext.vendor())} = screen->vk.${cmd.name()}; /* promoted to core */
+      }
+%else:
+
+      /* ${cmd.full_name} is not promoted */
+
+%endif
 %endif
       if (!screen->vk.${cmd.name()}) {
 #ifndef NDEBUG