1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef __VBOOT_SYMBOLS_H__ 4 #define __VBOOT_SYMBOLS_H__ 5 6 #include <symbols.h> 7 8 DECLARE_REGION(vboot2_work) 9 10 #endif /* __VBOOT_SYMBOLS_H__ */ 11