[PATCH v3 02/10] arm/domain: Get rid of READ/WRITE_SYSREG32

2021-05-05 Thread Michal Orzel
AArch64 registers are 64bit whereas AArch32 registers are 32bit or 64bit. MSR/MRS are expecting 64bit values thus we should get rid of helpers READ/WRITE_SYSREG32 in favour of using READ/WRITE_SYSREG. We should also use register_t type when reading sysregs which can correspond to uint64_t or uint32

Re: [PATCH v3 02/10] arm/domain: Get rid of READ/WRITE_SYSREG32

2021-05-05 Thread Julien Grall
Hi Michal, On 05/05/2021 08:43, Michal Orzel wrote: AArch64 registers are 64bit whereas AArch32 registers are 32bit or 64bit. MSR/MRS are expecting 64bit values thus we should get rid of helpers READ/WRITE_SYSREG32 in favour of using READ/WRITE_SYSREG. We should also use register_t type when rea

Re: [PATCH v3 02/10] arm/domain: Get rid of READ/WRITE_SYSREG32

2021-05-05 Thread Michal Orzel
Hi Julien, On 05.05.2021 20:03, Julien Grall wrote: > Hi Michal, > > On 05/05/2021 08:43, Michal Orzel wrote: >> AArch64 registers are 64bit whereas AArch32 registers >> are 32bit or 64bit. MSR/MRS are expecting 64bit values thus >> we should get rid of helpers READ/WRITE_SYSREG32 >> in favour of

Re: [PATCH v3 02/10] arm/domain: Get rid of READ/WRITE_SYSREG32

2021-05-10 Thread Julien Grall
On 06/05/2021 07:13, Michal Orzel wrote: Hi Julien, Hi Michal, On 05.05.2021 20:03, Julien Grall wrote: Hi Michal, On 05/05/2021 08:43, Michal Orzel wrote: AArch64 registers are 64bit whereas AArch32 registers are 32bit or 64bit. MSR/MRS are expecting 64bit values thus we should get rid