Paolo Teti 2d7479844a The GE bits of the APSR are set also by USUB8		2019-02-27 23:47:50 +01:00
..
stdarch	The GE bits of the APSR are set also by USUB8	2019-02-27 23:47:50 +01:00