PK_STATE_VALID
case PK_STATE_VALID:
ctx->pk_state = PK_STATE_VALID;
ctx->pk_state = PK_STATE_VALID;
case PK_STATE_VALID:
case PK_STATE_VALID:
case PK_STATE_VALID:
tfm_ctx->pk_state = PK_STATE_VALID;