/*
 * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef __STM32MP1_CONTEXT_H__
#define __STM32MP1_CONTEXT_H__

#include <stdint.h>

int stm32_save_boot_interface(uint32_t interface, uint32_t instance);

#endif /* __STM32MP1_CONTEXT_H__ */