patacongo commented on pull request #1565:
URL: https://github.com/apache/incubator-nuttx/pull/1565#issuecomment-672984996
wdparm_t is the perfect type in this case since it is has this property:
sizeof(wdparm_t) == MAX(sizeof(FAR void *), sizeof(uint32_t)
So it is always big enough. FAR void * often is not big enough; uint32_t is
sometimes not big enough.
----------------------------------------------------------------
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:
[email protected]
