commit | b210a9f9c7ae17e2028a86d9a4e9a3b35472862a | [log] [tgz] |
---|---|---|
author | SangWook Han <sangwook.han@gmail.com> | Sun Jul 15 22:42:28 2012 +0900 |
committer | Elliott Hughes <enh@google.com> | Wed Jul 18 17:13:24 2012 -0700 |
tree | d6d5fc91ee67d127e63223782ad10bdf7b4af3ed | |
parent | fd9491c5ea82e91d0085679caa82195bb5b4d17b [diff] |
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