[PATCH] ARM64: kernel: implement ACPI parking protocol

[Lorenzo Pieralisi]

Mark,

On Thu, Jul 16, 2015 at 06:40:49PM +0100, Mark Salter wrote:

[...]

> > > The kernel will only add cached memory regions to linear mapping and
> > > presumably, the FW will mark the mailboxes as uncached. Otherwise, it
> > > is a FW bug. But I suppose we could run into problems with kernels
> > > using 64K pagesize since firmware assumes 4k.
> >
> > Nope, ioremap takes care of that, everything should be fine.
> 
> The mailbox is 4K. If it is next to a cached UEFI region, the kernel may
> have to overlap the mailbox with a cached 64K mapping in order to include
> the adjoining UEFI region in the linear map. Then the ioremap would fail
> because the mailbox is included in the linear mapping.

You have to acknowledge that what you describe is a bit of a corner
case (and a silly FW set-up), are you aware of any existing FW set-up
where we actually hit the corner case above ?

I think it is fine to leave code as-is, at least the mailbox
mappings, I will check to see I can improve the MADT parsing,
somehow.

Lorenzo