| commit | b3de9598a3e811ea2c63c4abe25b501208495eca | [log] [tgz] |
|---|---|---|
| author | Tri Vo <trong@google.com> | Mon Nov 23 11:26:05 2020 -0800 |
| committer | Tri Vo <trong@google.com> | Mon Nov 23 11:29:37 2020 -0800 |
| tree | f07ac8d95dc2641bd4fa40778d68a0a1ebe72ff5 | |
| parent | a347c0c8709ed7600fa850783b25e4e0436b290c [diff] |
Fix -Wvoid-pointer-to-int-cast warnings user_addr_t is 32-bit, and void* is 64-bit inside the kernel of arm64u32 build. Newer versions of clang will complain about casting void* to a smaller interger type. So, cast to uintptr_t first. Bug: None Change-Id: I2a1ea47c033ab4890a7aea45fb2390880423785d