tree c4875b713db996cea33d8e5ea8540e6a085e0c81
parent d3bb5dd91228347d032467488ab7778ae80756e0
author Andrew Scull <ascull@google.com> 1538499921 +0100
committer Andrew Scull <ascull@google.com> 1538661405 +0000

hvc calls return a 64-bit value.

64-bits gives the space required to return useful information. 32-bit
systems will need to use multiple registers to return the data.

Change-Id: Iaa94772e693b7aff04a12ad4a9628f355d44c0e8