sbd_flush_ecache
xc_all(sbd_flush_ecache, 0, 0);
static void sbd_flush_ecache(uint64_t a, uint64_t b);