/*
 * Copyright (c) 2015-2018, NVIDIA Corporation. All Rights Reserved.
 *
 * NVIDIA Corporation and its licensors retain all intellectual property and
 * proprietary rights in and to this software and related documentation.  Any
 * use, reproduction, disclosure or distribution of this software and related
 * documentation without an express license agreement from NVIDIA Corporation
 * is strictly prohibited.
 */
#ifndef __VERIFIED_BOOT_MENU_H__
#define __VERIFIED_BOOT_MENU_H__

extern struct menu yellow_state_menu_pause;
extern struct menu yellow_state_menu_continue;
extern struct menu red_state_menu_pause;
extern struct menu red_state_menu_continue;
extern struct menu orange_state_menu_pause;
extern struct menu orange_state_menu_continue;

#endif /* __VERIFIED_BOOT_MENU_H__ */
