__sync_cache_range_w
__sync_cache_range_w(poke, 2 * sizeof(*poke));
#define sync_cache_w(ptr) __sync_cache_range_w(ptr, sizeof *(ptr))
__sync_cache_range_w(ports, sizeof(*ports) * nb_cci_ports);