Would it not be enough to just flush prefixes? no need to flush gpr/fprs right