Please sign in to comment.
thread_cpu: make it 64-bit compatible
This stores a combination of a pointer and a CPU number in the low 2 bits. On 64-bit systems, the pointer part won't fit in an int. Let's use uintptr_t for this purpose. Signed-off-by: Nicolas Pitre <firstname.lastname@example.org>
- Loading branch information...
Showing with 3 additions and 3 deletions.