tree edd896e2bd38beb31156426cbc76d9f0d0e3ea8b
parent 86ec8fcb5919d2a56c5fcc4f86eab9f4bf50e64b
author Andrew Scull <ascull@google.com> 1532960341 +0100
committer Andrew Scull <ascull@google.com> 1533550293 +0100

Opaque virtual address type

This ensures that conversions and arithmetic on virtual addresses are
explicit and not accidental due to it being a primitive integer.

Change-Id: I94dd8e82e065757ae448d98be0cb89eaa1f6542d