| 2004 | } |
| 2005 | |
| 2006 | static VKAPI_ATTR void VKAPI_CALL GetShaderModuleIdentifierEXT(VkDevice device, VkShaderModule shaderModule, |
| 2007 | VkShaderModuleIdentifierEXT* pIdentifier) { |
| 2008 | if (pIdentifier) { |
| 2009 | // arbitrary |
| 2010 | pIdentifier->identifierSize = 1; |
| 2011 | pIdentifier->identifier[0] = 0x01; |
| 2012 | } |
| 2013 | } |
| 2014 | |
| 2015 | static VKAPI_ATTR VkDeviceAddress VKAPI_CALL |
| 2016 | GetAccelerationStructureDeviceAddressKHR(VkDevice device, const VkAccelerationStructureDeviceAddressInfoKHR* pInfo) { |