RSE_WORKAROUND    249 arch/ia64/kernel/minstate.h #define SAVE_MIN_WITH_COVER	DO_SAVE_MIN(COVER, mov r30=cr.ifs, , RSE_WORKAROUND)
RSE_WORKAROUND    250 arch/ia64/kernel/minstate.h #define SAVE_MIN_WITH_COVER_R19	DO_SAVE_MIN(COVER, mov r30=cr.ifs, mov r15=r19, RSE_WORKAROUND)