| commit | 5fb1b8836aa5cf0f38b49bc7bfb8343b84fdf9bf | [log] [tgz] |
|---|---|---|
| author | Serban Constantinescu <serban.constantinescu@arm.com> | Thu Jan 30 14:07:34 2014 +0000 |
| committer | David Butcher <david.butcher@arm.com> | Fri Jan 31 10:49:30 2014 +0000 |
| tree | 8edab17e5e0667b23455bac43e610c0edc4028d1 | |
| parent | 9b738bb4110926b85da65d36b2e6f1a50199ec4c [diff] |
ServiceManager: Store handles in uint32_t instead of void * This patch corrects the types used for storing handles. Change-Id: If9c10782345f1de9e12b4b3fd6be9e02e6b568cd Signed-off-by: Serban Constantinescu <serban.constantinescu@arm.com>