Re: [PATCH for-8.0 0/5] Xen emulation build/Coverity fixes

2023-04-13 Thread Peter Maydell
On Wed, 12 Apr 2023 at 20:01, David Woodhouse wrote: > > On Wed, 2023-04-12 at 19:55 +0100, Peter Maydell wrote: > > On Wed, 12 Apr 2023 at 19:52, David Woodhouse wrote: > > > > > > Some Coverity fixes and minor cleanups. And most notably, dropping > > > support for Xen libraries older than 4.7.1

Re: [PATCH for-8.0 0/5] Xen emulation build/Coverity fixes

2023-04-12 Thread Stefano Stabellini
On Wed, 11 Apr 2023, David Woodhouse wrote: > Some Coverity fixes and minor cleanups. And most notably, dropping > support for Xen libraries older than 4.7.1. I just wanted to say that I am fine with this

Re: [PATCH for-8.0 0/5] Xen emulation build/Coverity fixes

2023-04-12 Thread David Woodhouse
On Wed, 2023-04-12 at 20:01 +0100, David Woodhouse wrote: > On Wed, 2023-04-12 at 19:55 +0100, Peter Maydell wrote: > > On Wed, 12 Apr 2023 at 19:52, David Woodhouse wrote: > > > > > > Some Coverity fixes and minor cleanups. And most notably, dropping > > > support for Xen libraries older than 4.

Re: [PATCH for-8.0 0/5] Xen emulation build/Coverity fixes

2023-04-12 Thread David Woodhouse
On Wed, 2023-04-12 at 19:55 +0100, Peter Maydell wrote: > On Wed, 12 Apr 2023 at 19:52, David Woodhouse wrote: > > > > Some Coverity fixes and minor cleanups. And most notably, dropping > > support for Xen libraries older than 4.7.1. > > > > I believe there are two issues that remain to be fixed

Re: [PATCH for-8.0 0/5] Xen emulation build/Coverity fixes

2023-04-12 Thread Peter Maydell
On Wed, 12 Apr 2023 at 19:52, David Woodhouse wrote: > > Some Coverity fixes and minor cleanups. And most notably, dropping > support for Xen libraries older than 4.7.1. > > I believe there are two issues that remain to be fixed. The x32 build > fails, and I've seen patches which attempt to detect