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