commit | ac8ed5e0893043a91a08e7fbf840fd3eff38a188 | [log] [tgz] |
---|---|---|
author | SangWook Han <sangwook.han@gmail.com> | Sun Jul 15 22:51:02 2012 +0900 |
committer | SangWook Han <sangwook.han@gmail.com> | Tue Jul 31 11:02:59 2012 +0900 |
tree | eb9838b2b6c180be1fa3ee379641b217cd1883c2 | |
parent | 43eb9a78c3ca49c0e4de95a3f048bc0b9c6acc82 [diff] |
Use uintptr_t for cast pointer to integer. On 64bit host, sizeof pointer is not equal to sizeof int. Need for host tools. Change-Id: I848ceb878b873e6764a077e8a4ee31e756f30017