CT_FLUSH_CACHE
ddi_put32(acc, &sync->Type, (uint32_t)CT_FLUSH_CACHE);
CT_FLUSH_CACHE, "CT_FLUSH_CACHE", \