/*
 * Copyright (c) 2024, STMicroelectronics - All Rights Reserved
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef STGEN_SVC_H
#define STGEN_SVC_H

uint32_t stgen_svc_handler(void);

#endif /* STGEN_SVC_H */