Hi all,
flush_icache_user_range is defined for a number of architectures but
is not used anywhere as far as I can tell. It's also not in the
feature removal schedule or other documentation.
Should it be removed? Should new ports implement this interface?
Thanks,