|
@@ -53,7 +53,7 @@ rt_mmu_info* arch_kernel_get_mmu_info(void);
|
|
|
|
|
|
rt_inline unsigned long rt_hw_ffz(unsigned long x)
|
|
rt_inline unsigned long rt_hw_ffz(unsigned long x)
|
|
{
|
|
{
|
|
- return __builtin_ffsll(~x) - 1;
|
|
|
|
|
|
+ return __builtin_ffsl(~x) - 1;
|
|
}
|
|
}
|
|
|
|
|
|
rt_inline void icache_invalid_all(void)
|
|
rt_inline void icache_invalid_all(void)
|