arm64/vfp: Get rid of READ/WRITE_SYSREG32
authorMichal Orzel <michal.orzel@arm.com>
Wed, 5 May 2021 07:42:59 +0000 (09:42 +0200)
committerJulien Grall <jgrall@amazon.com>
Mon, 10 May 2021 17:16:34 +0000 (18:16 +0100)
commit8990f0eaca139364091109389416455f4f78cd65
treef204ee179c796c3fdb0dd51c0dcef01520ad3ebf
parent982c89ed527bc5b0ffae5da9fd33f9d2d1528f06
arm64/vfp: Get rid of READ/WRITE_SYSREG32

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_t.
Even though many AArch64 registers have upper 32bit reserved
it does not mean that they can't be widen in the future.

Modify type of FPCR, FPSR, FPEXC32_EL2 to register_t.

Signed-off-by: Michal Orzel <michal.orzel@arm.com>
Reviewed-by: Julien Grall <jgrall@amazon.com>
xen/arch/arm/arm64/vfp.c
xen/include/asm-arm/arm64/vfp.h