// WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry
[[VkPhysicalDeviceProtectedMemoryProperties,VkPhysicalDeviceProtectedMemoryProperties]]
[source,c++]
----
typedef struct VkPhysicalDeviceProtectedMemoryProperties {
    VkStructureType    sType;
    void*              pNext;
    VkBool32           protectedNoFault;
} VkPhysicalDeviceProtectedMemoryProperties;
----