patacongo commented on issue #740: URL: https://github.com/apache/incubator-nuttx/issues/740#issuecomment-672257134
> But don't use type void *. There are problems using type void * with certain architctures (AVR I think) that was fixed by created wdparm_t. Please continue to use wdparm_t. The argument was originally a uint32_t. I was changed to a union with commit b8f3bd857be74ff78e01d961afbaedfbf17814ed because there are many architectures where sizeof(void *) < sizeof(uint32_t), MCS51, ez80, etc. So void * is insufficient for passing a uint32_t. This was changed again to the current wdparm_t form with commit 3adcae8ffbf247f1038bbb3b8281ea811799031e because there were issues in passing a union with certain compilers (SDCC at the time). So, please don't consider using void * instead of wdparm_t. You will definitely break things! ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org