Use uintptr_t for cast pointer to integer.

	On 64bit host, sizeof pointer is not equal to sizeof int/u4.
	Need for host tools.

Change-Id: Id8d9418787e79523226b9c9e3f67277f9ac7c6aa
5 files changed