Re: [Minios-devel] [PATCH v3 12/43] arm64: add the basic helpers for arm64

[Julien Grall <julien.grall@xxxxxxx>]

Hi,

On 04/24/2018 10:12 AM, Huang Shijie wrote:
> On Mon, Apr 23, 2018 at 12:00:34PM +0100, Julien Grall wrote:
> > On 23/04/18 10:44, Huang Shijie wrote:
> > > On Wed, Apr 18, 2018 at 09:27:12PM +0100, Julien Grall wrote: 
> For example, the wmb() is used in the GIC code, which should be dsb, not
> dmb().
It looks a bit wrong to me that the GIC code is using wmb(). But let's 
tackle that problem once we get the Arm64 support merged :).
Cheers,

--
Julien Grall

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel