Re: [Xen-devel] [PATCH v3 0/4] misc safety certification fixes

2018-11-09 Thread Stefano Stabellini
On Fri, 9 Nov 2018, Julien Grall wrote: > On 06/11/2018 22:05, Stefano Stabellini wrote: > > Hi all, > > Hi, > > > This short patch series fixes a few issues discovered by the safety > > certifications code scanner. The first two patches address simple > > variable initializations concerns. The t

Re: [Xen-devel] [PATCH v3 0/4] misc safety certification fixes

2018-11-09 Thread Julien Grall
On 06/11/2018 22:05, Stefano Stabellini wrote: Hi all, Hi, This short patch series fixes a few issues discovered by the safety certifications code scanner. The first two patches address simple variable initializations concerns. The third patch introduces a new macro that is used throughout

[Xen-devel] [PATCH v3 0/4] misc safety certification fixes

2018-11-06 Thread Stefano Stabellini
Hi all, This short patch series fixes a few issues discovered by the safety certifications code scanner. The first two patches address simple variable initializations concerns. The third patch introduces a new macro that is used throughout the code in patch #4 to access _stext, _etext pointers and