/* SPDX-License-Identifier: GPL-2.0-only */ #ifndef __VBOOT_SYMBOLS_H__ #define __VBOOT_SYMBOLS_H__ #include <symbols.h> DECLARE_REGION(vboot2_work) #endif /* __VBOOT_SYMBOLS_H__ */