Luc Van Oostenryck c0d109de4c arm64: use readq() instead of readl() to read 64bit entry_point
Here the entrypoint, declared as a 64 bit integer, is read from
a pointer to 64bit integer but the read is done via readl_relaxed()
which is for 32bit quantities.

All the high bits will thus be lost which change the meaning
of the test against zero done later.

Fix this by using readq_relaxed() instead as it should be for
64bit quantities.

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Will Deacon <will.deacon@arm.com>
2017-06-29 11:33:01 +01:00
..
2017-05-30 11:07:41 +01:00
2017-03-28 18:23:24 -04:00
2016-06-27 16:31:25 +01:00
2016-05-16 17:17:24 -07:00
2017-05-05 12:11:37 -07:00
2016-04-20 12:22:42 +01:00