On Wed, 20 Feb 2019 09:15:37 +0000 Marc Zyngier <marc.zyng...@arm.com> wrote:
> Well, short of doing the above, I'd rather have something in the common > code that allows the default domain to be retrieved. How about the > patch below? Works for me:-) Thank you. Are you going to submit it for v5.1 ? Thomas. -- SUSE Linux GmbH GF: Felix Imendörffer, Jane Smithard, Graham Norton HRB 21284 (AG Nürnberg)