mirror of
https://github.com/apache/nuttx.git
synced 2026-05-12 01:27:10 +08:00
17b31d2037
reason: nxsched_smp_call_handler need these parameters Signed-off-by: hujun5 <hujun5@xiaomi.com>