| commit | 35539affd81eae1d8734a5c4f7a148108068d7fd | [log] [tgz] |
|---|---|---|
| author | Ashok Bhat <ashok.bhat@arm.com> | Tue Dec 10 12:30:53 2013 +0000 |
| committer | David Butcher <david.butcher@arm.com> | Tue Dec 17 12:43:41 2013 +0000 |
| tree | 0d97ff06ba8217bef8c4a64c1e2ce29927ce1f3d | |
| parent | 532f46582362f6b14d5e2a19600c2930385cdc30 [diff] |
libdiskconfig: Use uintptr_t instead of uint32_t Use uintptr_t instead of uint32_t when pointer is cast to an integer type. Change-Id: I03dd4c7ff66611661af466dfb7b393d461bb2d7d Signed-off-by: Ashok Bhat <ashok.bhat@arm.com>