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
1 file changed
tree: c3c112ef91ab8f42d29fd941eaadd4edb9257617
  1. .gitignore
  2. hf_call.S
  3. main.c
  4. Makefile