Pointers can be either 32-bits or 64-bits, depending on the
architecture.  Add an accessor function to abstract this away.

Change-Id: I64e2c18c85ec3d9ca7304163dc5a42edc83f1443