35539affd8
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> |
||
---|---|---|
.. | ||
Android.mk | ||
config_mbr.c | ||
diskconfig.c | ||
diskutils.c | ||
dump_diskconfig.c | ||
write_lst.c |