All registers are 64-bits wide, 32-bit guests use the least
significant portion of the register storage fields.
Signed-off-by: NDavid Daney <david.daney@cavium.com>
Acked-by: NSanjay Lal <sanjayl@kymasys.com>
Signed-off-by: NPaolo Bonzini <pbonzini@redhat.com>