vkWriteMicromapsPropertiesEXT

To query micromap size parameters on the host, call:

VkResult vkWriteMicromapsPropertiesEXT(
    VkDevice device,
    uint32_t micromapCount,
    const VkMicromapEXT* pMicromaps,
    VkQueryType  queryType,
    size_t       dataSize,
    void* pData,
    size_t stride);

• device is the device which owns the micromaps in pMicromaps.
• micromapCount is the count of micromaps for which to query the property.
• pMicromaps is a pointer to an array of existing previously built micromaps.
• queryType is a VkQueryType value specifying the property to be queried.
• dataSize is the size in bytes of the buffer pointed to by pData.
• pData is a pointer to an application-allocated buffer where the results will be written.
• stride is the stride in bytes between results for individual queries within pData.

This command fulfills the same task as vkCmdWriteMicromapsPropertiesEXT but is executed by the host.