Nakamura
> From: Sebastian Perta
> Sent: Friday, March 20, 2020 1:38 AM
> To: dev@nuttx.apache.org
> Subject: problem with nxsig_timeout (sig_timedwait.c)
>
> Hello,
>
> I have no experience and I'm not directly involved with NuttX (I maintain one
> of
> the
Looking at the declarations of nxsig_timeout and wdentry_t:
static void nxsig_timeout(int argc, wdparm_t itcb)
typedef CODE void (*wdentry_t)(int argc, uint32_t arg1, ...);
A sidenote: You must be looking at a very old code base. The current
type for wdentry_t is:
133 typedef CODE voi
Maybe we need find all callers of wd_start to ensure that the
callback's prototype hasn't the similar issue.
On Fri, Mar 20, 2020 at 12:36 PM Gregory Nutt wrote:
>
> The best thing would be if you could submit a verified PR at
> https://github.com/apache/incubator-nuttx
>
> Greg
>
> On 3/19/2020
The best thing would be if you could submit a verified PR at
https://github.com/apache/incubator-nuttx
Greg
On 3/19/2020 10:38 AM, Sebastian Perta wrote:
Hello,
I have no experience and I'm not directly involved with NuttX (I maintain one
of the compilers used to build NuttX),
so hopefully I
Hello,
I have no experience and I'm not directly involved with NuttX (I maintain one
of the compilers used to build NuttX),
so hopefully I did the right thing in reporting the following issue here.
Initially the was reported to me as a problem in the compiler however when I
investigated I found
