d7871914ac
On Windows 64-bit, the size of long is 32-bit, thus any pointer to long cast is not valid. In any case, one should use intptr_t and ptrdiff_t when casting to integers. This commit attempts to fix all instances reported by GCC. When relevant, I replaced code by the macros PTR_ADD, ALIGN_UP from system.h Change-Id: I2273b0e8465d3c4689824717ed5afa5ed238a2dc |
||
---|---|---|
.. | ||
include | ||
pthread | ||
corelock.c | ||
kernel-internal.h | ||
mrsw_lock.c | ||
mutex.c | ||
queue.c | ||
semaphore.c | ||
thread-common.c | ||
thread-internal.h | ||
thread.c | ||
tick.c | ||
timeout.c |