patacongo edited a comment on pull request #965: URL: https://github.com/apache/incubator-nuttx/pull/965#issuecomment-624097349
This would not work, for example, on 8-bit MCUs where sizeof(uintptr_t) == 2, sizeof(int) == 2, but sizeof(unsigned long) == 4. But those won't use system calls anyway. I had to fix this case explicitly for x86_64 in with wdog_t: #if UINTPTR_MAX >= UINT32_MAX typedef uintptr_t wdparm_t; #else typedef uint32_t wdparm_t; #endif In that case sizeof(uinptr_t) is 8. ---------------------------------------------------------------- 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