AFMT_S32_BE
return AFMT_S32_BE;
case AFMT_S32_BE:
#define AFMT_S32_OE AFMT_S32_BE
#define AFMT_S32_NE AFMT_S32_BE
ATF_REQUIRE(fmts & AFMT_S32_BE);