bswap_16
# define SWAP16 bswap_16
#ifndef bswap_16
ATF_REQUIRE_MSG(0x3412 == bswap_16(ui16),
"bswap16(%#x) != 0x3412 instead %#x\n", ui16, bswap_16(ui16));
#ifdef bswap_16
#ifdef bswap_16