arm_sync_icache
(void)arm_sync_icache((uintptr_t)(from), (size_t)((to) - (from)))
int arm_sync_icache(uintptr_t, size_t);
return arm_sync_icache((uintptr_t)addr, (size_t)len);