On Fri, Nov 06, 2015 at 08:10:48PM +0800, Baoquan He wrote:
>  
> +static void copy_command_buffer(void)
> +
> +static void copy_event_buffer(void)
> +{

There is no need to copy any of these buffers. For the command buffer
you just need to safely reinialize the hardware to use your newly
allocated buffer.

Same for the event buffer. But here it makes sense to actually check the
old event buffer for content and print out the errors the old kernel
didn't get a chance to handle before the crash.


        Joerg

_______________________________________________
iommu mailing list
[email protected]
https://lists.linuxfoundation.org/mailman/listinfo/iommu

Reply via email to