> > > It'd be nice if we could also generate a real hardware > > > cache clear (set ICI of the CCR) depending on if a define > > > is set, maybe something like HARDWARE_CACHE_CLEAR. We already have a fast hardware cache clear for a specific cache line, however, this can not be used in usermode.