> On 28 Feb 2025, at 10:34, Ayan Kumar Halder wrote:
>
> Hi Julien/Luca,
>
> On 28/02/2025 09:22, Julien Grall wrote:
>>
>>
>> On 26/02/2025 08:28, Luca Fancellu wrote:
>>> Hi Julien,
>>
>> Hi Luca,
>>
>>>
>>
>> #ifdef CONFIG_EARLY_PRINTK
>> diff --git a/xen/arch/arm/include
Hi Julien/Luca,
On 28/02/2025 09:22, Julien Grall wrote:
On 26/02/2025 08:28, Luca Fancellu wrote:
Hi Julien,
Hi Luca,
#ifdef CONFIG_EARLY_PRINTK
diff --git a/xen/arch/arm/include/asm/arm64/mpu.h
b/xen/arch/arm/include/asm/mpu.h
Why not in include/mpu/ ?
Do you mean include/asm/mpu
On 26/02/2025 08:28, Luca Fancellu wrote:
Hi Julien,
Hi Luca,
#ifdef CONFIG_EARLY_PRINTK
diff --git a/xen/arch/arm/include/asm/arm64/mpu.h
b/xen/arch/arm/include/asm/mpu.h
Why not in include/mpu/ ?
Do you mean include/asm/mpu? or something different?
Yes, sorry typo, I mean includ
Hi Julien,
>>>
>>> #ifdef CONFIG_EARLY_PRINTK
>>> diff --git a/xen/arch/arm/include/asm/arm64/mpu.h
>>> b/xen/arch/arm/include/asm/mpu.h
>> Why not in include/mpu/ ?
>
> Do you mean include/asm/mpu? or something different?
Yes, sorry typo, I mean include/asm/mpu/mpu.h
Cheers,
Luca
Hi Luca,
On 06/02/2025 15:01, Luca Fancellu wrote:
Hi Ayan,
On 4 Feb 2025, at 19:23, Ayan Kumar Halder wrote:
For AArch32, refer to ARM DDI 0568A.c ID110520.
MPU_REGION_SHIFT is same between AArch32 and AArch64 (HPRBAR).
Also, NUM_MPU_REGIONS_SHIFT is same between AArch32 and AArch64
(HMPUIR
Hi Ayan,
> On 4 Feb 2025, at 19:23, Ayan Kumar Halder wrote:
>
> For AArch32, refer to ARM DDI 0568A.c ID110520.
> MPU_REGION_SHIFT is same between AArch32 and AArch64 (HPRBAR).
> Also, NUM_MPU_REGIONS_SHIFT is same between AArch32 and AArch64
> (HMPUIR).
>
> Signed-off-by: Ayan Kumar Halder
>
