I agree with you that size_t should be prefixed ux since you are right, it is an unsigned non stdint type. I will ask the internal team just to make sure.
Thank you for raising that question. We discussed internally and reached a conclusion that using ux is apt for size_t.
The coding guidelines do mention that we should use x but that was because size_t is non-standard type from FreeRTOS’s perspective. We might modify that after some discussions.
We haven’t yet decided on whether to update the kernel code to use ux instead of x as there might be some backward compatibility issues.
Going forward, we think that using ux is better when size_t is concerned.