/*
 * Copyright (c) 2025, Mediatek Inc. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef MT_SPM_VCOREFS_H
#define MT_SPM_VCOREFS_H

void spm_go_to_vcorefs(uint64_t spm_flags);

#endif /* MT_SPM_VCOREFS_H */
