maybe_flush_windows
static inline void maybe_flush_windows(unsigned int rs1, unsigned int rs2,
static inline void maybe_flush_windows(unsigned int rs1, unsigned int rs2,
static inline void maybe_flush_windows(unsigned int rs1, unsigned int rs2,