commit | 0e094d3ca434fe7f0965ae4ee538e122394a0eb0 | [log] [tgz] |
---|---|---|
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Thu Mar 29 09:59:52 2018 +0100 |
committer | GitHub <noreply@github.com> | Thu Mar 29 09:59:52 2018 +0100 |
tree | 34de46f0991d30b29e21fbcb0df1bdf38ce14f12 | |
parent | 3f04ef8c7f312360652e72a17cdb42a4977cf5fe [diff] | |
parent | 5cc3bc8fc735b83e1c49d80ce4eb516a1d33d88a [diff] |
Merge pull request #1335 from JoelHutton/jh/cleanup_void_pointers Clean usage of void pointers to access symbols