如何使HPM6750工作在双核模式上呢

我使用的开发板是HPM6750MINI，我想让HPM6750工作在双核模式。

为何我在RT-Thread Settings中打开对称多处理器会报错：

报错内容：

error: conflicting types for 'rt_hw_context_switch_interrupt'; have 'void(rt_ubase_t, rt_ubase_t)' {aka 'void(long unsigned int, long unsigned int)'}

然后在rthw.h中查看函数声明发现：

void rt_hw_context_switch_interrupt(rt_ubase_t from, rt_ubase_t to);

变成了

void rt_hw_context_switch_interrupt(void *context, rt_ubase_t from, rt_ubase_t to, struct rt_thread *to_thread);

请问函数内部要如何实现