sig_t32
.sa_sigaction = sig_t32,
ATF_REQUIRE((((uintptr_t)sig_t32) & 1) == 1); /* Make sure compiled as thumb */