ac_ecache_flush
xc_one(cpui, ac_ecache_flush, 0, 0);
static void ac_ecache_flush(uint64_t, uint64_t);