If glWaitMarkerAMD times out waiting for a specified markerID the driver crashes. After this, a call to glMakeBuffersResident will fail with error code GL_OUT_OF_MEMORY. A reboot is required to get the AMD functions to work again. Is this behavior expected and is there a way to reset the driver programatically?