s390x_ecd_keygen448
key = s390x_ecd_keygen448(gctx);
static void *s390x_ecd_keygen448(struct ecx_gen_ctx *gctx);