armv8: actually use 64-bit values to store initial registers
authorReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 25 Jul 2017 09:16:37 +0000 (11:16 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 25 Jul 2017 09:16:37 +0000 (11:16 +0200)
commit566ad79df00f575c9087d0679239772a82bd1051
tree38c19cdd981c23191bc03b65503c459d52f25cf0
parent10996d6f9d04b5695c2134df3372a087169ea949
armv8: actually use 64-bit values to store initial registers

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
lib/barrelfish/include/arch/aarch64/arch/registers.h