On 22/04/18 18:39, Tim Deegan wrote:
> At 19:11 +0200 on 21 Apr (1524337893), Juergen Gross wrote:
>> On 21/04/18 15:32, Tim Deegan wrote:
>>> At 09:44 +0200 on 19 Apr (1524131080), Juergen Gross wrote:
Another alternative would be to pass another flag to the callers to
signal the need
At 19:11 +0200 on 21 Apr (1524337893), Juergen Gross wrote:
> On 21/04/18 15:32, Tim Deegan wrote:
> > At 09:44 +0200 on 19 Apr (1524131080), Juergen Gross wrote:
> >> Another alternative would be to pass another flag to the callers to
> >> signal the need for a flush. This would require quite
/linux/commits/Stanislav-Kinsburskii/Introduce-Xen-fault-injection-facility/20180422-201946
config: x86_64-allmodconfig (attached as .config)
compiler: gcc-7 (Debian 7.3.0-16) 7.3.0
reproduce:
# save the attached .config to linux build tree
make ARCH=x86_64
All errors (new ones
