src/security/vboot/symbols.h

   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__ */