Re: [PATCH v2 09/10] arm/time,vtimer: Get rid of READ/WRITE_SYSREG32

2021-04-27 Thread Julien Grall
On 27/04/2021 10:35, 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 reading sysr

[PATCH v2 09/10] arm/time,vtimer: Get rid of READ/WRITE_SYSREG32

2021-04-27 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