/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#ifndef __VBOOT_SYMBOLS_H__
#define __VBOOT_SYMBOLS_H__
#include <symbols.h>
DECLARE_REGION(vboot2_work)
#endif /* __VBOOT_SYMBOLS_H__ */