@@ -30,7 +30,7 @@ extern "C" {
rt_inline unsigned long rt_hw_ffz(unsigned long x)
{
- return __builtin_ffs(~x) - 1;
+ return __builtin_ffsll(~x) - 1;
}
rt_inline void icache_invalid_all(void)
@@ -53,7 +53,7 @@ rt_mmu_info* arch_kernel_get_mmu_info(void);
@@ -37,7 +37,7 @@ void lwp_signal_do_return(rt_hw_stack_frame_t *frame);
#ifdef __cplusplus