tree 8edab17e5e0667b23455bac43e610c0edc4028d1
parent 9b738bb4110926b85da65d36b2e6f1a50199ec4c
author Serban Constantinescu <serban.constantinescu@arm.com> 1391090854 +0000
committer David Butcher <david.butcher@arm.com> 1391165370 +0000

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>