Address based CACHE instructions are transformed into synci(s). A little heavy for just D-cache invalidates, but avoids an expensive trap.