/*
 * Copyright 2023-2024 NXP
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef IMX_PLAT_COMMON_H
#define IMX_PLAT_COMMON_H

#include <stdint.h>

#include <arch_helpers.h>

uint32_t plat_get_spsr_for_bl33_entry(void);

#endif /*IMX_PLAT_COMMON_H */