/*
 * Copyright 2020 Intel Corporation
 * SPDX-License-Identifier: Apache 2.0
 */

#ifndef __SE_PROVISIONING_H__
#define __SE_PROVISIONING_H__

int se_provisioning(void);

#endif /* __SE_PROVISIONING_H__ */
