Re: [PATCH 10/12] xen/arm: if is_domain_direct_mapped use native UART address for vPL011

[Julien Grall <julien@xxxxxxx>]

Hi Stefano,

On 15/04/2020 02:02, Stefano Stabellini wrote:
> We always use a fix address to map the vPL011 to domains. The address
> could be a problem for domains that are directly mapped.
>
> Instead, for domains that are directly mapped, reuse the address of the
> physical UART on the platform to avoid potential clashes.
How do you know the physical UART MMIO region is big enough to fit the 
PL011?
What if the user want to assign the physical UART to the domain + the 
vpl011?
Cheers,

--
Julien Grall