/** @file
This is DCS boot menu lock protocol

Copyright (c) 2016. Disk Cryptography Services for EFI (DCS), Alex Kolotnikov

This program and the accompanying materials
are licensed and made available under the terms and conditions
of the GNU Lesser General Public License, version 3.0 (LGPL-3.0).

The full text of the license may be found at
https://opensource.org/licenses/LGPL-3.0
**/

#ifndef _EFI_DCSBMLPROTO_H
#define _EFI_DCSBMLPROTO_H

#include <Uefi.h>
#include <ProcessorBind.h>
#include <Base.h>

//
// Global Id for DcsBml Interface
// {7FB6D090-8755-43FC-84B5-6E297F9EC1CD}
//
#define EFI_DCSBML_INTERFACE_PROTOCOL_GUID \
  { \
    0x7fb6d090, 0x8755, 0x43fc, 0x84, 0xb5, 0x6e, 0x29, 0x7f, 0x9e, 0xc1, 0xcd \
  }

typedef struct _EFI_DCSBML_PROTOCOL  EFI_DCSBML_PROTOCOL;

//
// Lock boot menu
//
typedef
EFI_STATUS
(EFIAPI *EFI_BOOT_MENU_LOCK) (
  IN EFI_DCSBML_PROTOCOL                *This,
  IN     BOOLEAN                        Lock
  );


//
// Protocol definition
//
struct _EFI_DCSBML_PROTOCOL {
    EFI_BOOT_MENU_LOCK BootMenuLock;
} ;

extern EFI_GUID gEfiDcsBmlProtocolGuid;
#endif