tree c3c112ef91ab8f42d29fd941eaadd4edb9257617
parent b722f95ee1dfd26dc4d54628aa343170a7d3b2de
author Andrew Scull <ascull@google.com> 1538165235 +0100
committer Andrew Scull <ascull@google.com> 1538499872 +0100

Use more specific types for Hafnium data.

The Hafnium API uses the standard integer types explicitly so the driver
should match this.

Change-Id: I74dab945b0a627840824741bb983c30419ff354f