padlock_sha256_final
.Final = padlock_sha256_final,
static void padlock_sha256_final(uint8_t *hash, void *vctx);