yamt commented on a change in pull request #1009:
URL: https://github.com/apache/incubator-nuttx/pull/1009#discussion_r422462711
##########
File path: arch/sim/include/irq.h
##########
@@ -44,6 +44,10 @@
* Included Files
****************************************************************************/
+#ifdef CONFIG_SIM_PREEMPTIBLE
+# include <ucontext.h>
Review comment:
to avoid mixing nuttx api and host api, we usually don't use the host
api directly.
we have a set of special files to interact with host api. (HOSTSRCS)
----------------------------------------------------------------
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
