tree 34de46f0991d30b29e21fbcb0df1bdf38ce14f12
parent 3f04ef8c7f312360652e72a17cdb42a4977cf5fe
parent 5cc3bc8fc735b83e1c49d80ce4eb516a1d33d88a
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1522313992 +0100
committer GitHub <noreply@github.com> 1522313992 +0100

Merge pull request #1335 from JoelHutton/jh/cleanup_void_pointers

Clean usage of void pointers to access symbols