I used int64_t for threadid because in the implementations I wrote for
FreeRTOS and ThreadX, the threadid is actually the address of the
thread control block. Hence if it is running on a 64 bit processor
(currently unlikely) it would need a 64 bit address.
Regards,
Evan
Quoting Jie Zhang <jzhang...@gmail.com>:
Hi Evan,
I'm wondering why threadid_t is int64_t. Is there any known RTOS needs
int64_t for its thread id? Can it be long?
Regards,
Jie
_______________________________________________
Openocd-development mailing list
Openocd-development@lists.berlios.de
https://lists.berlios.de/mailman/listinfo/openocd-development
_______________________________________________
Openocd-development mailing list
Openocd-development@lists.berlios.de
https://lists.berlios.de/mailman/listinfo/openocd-development
