ab4da12626
git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@9514 6f19259b-4bc3-4df7-8a09-765794883524
91 lines
2.8 KiB
Plaintext
91 lines
2.8 KiB
Plaintext
///** @file
|
|
//
|
|
// Device Manager formset.
|
|
//
|
|
// Copyright (c) 2004 - 2009, Intel Corporation. <BR>
|
|
// All rights reserved. This program and the accompanying materials
|
|
// are licensed and made available under the terms and conditions of the BSD License
|
|
// which accompanies this distribution. The full text of the license may be found at
|
|
// http://opensource.org/licenses/bsd-license.php
|
|
//
|
|
// THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
|
|
//
|
|
//**/
|
|
|
|
#define FORMSET_GUID { 0x3ebfa8e6, 0x511d, 0x4b5b, 0xa9, 0x5f, 0xfb, 0x38, 0x26, 0xf, 0x1c, 0x27 }
|
|
|
|
#define EFI_DISK_DEVICE_CLASS 0x0001
|
|
#define EFI_VIDEO_DEVICE_CLASS 0x0002
|
|
#define EFI_NETWORK_DEVICE_CLASS 0x0004
|
|
#define EFI_INPUT_DEVICE_CLASS 0x0008
|
|
#define EFI_ON_BOARD_DEVICE_CLASS 0x0010
|
|
#define EFI_OTHER_DEVICE_CLASS 0x0020
|
|
#define LABEL_VBIOS 0x0040
|
|
|
|
#define LABEL_DEVICES_LIST 0x0080
|
|
#define LABEL_END 0xffff
|
|
|
|
#define DEVICE_MANAGER_CLASS 0x0000
|
|
#define FRONT_PAGE_SUBCLASS 0x0003
|
|
|
|
#define DEVICE_MANAGER_FORM_ID 0x1000
|
|
|
|
#define DEVICE_MANAGER_KEY_DRIVER_HEALTH 0x1111
|
|
|
|
formset
|
|
guid = FORMSET_GUID,
|
|
title = STRING_TOKEN(STR_DEVICE_MANAGER_TITLE),
|
|
help = STRING_TOKEN(STR_EMPTY_STRING),
|
|
classguid = FORMSET_GUID,
|
|
class = DEVICE_MANAGER_CLASS,
|
|
subclass = FRONT_PAGE_SUBCLASS,
|
|
|
|
form formid = DEVICE_MANAGER_FORM_ID,
|
|
title = STRING_TOKEN(STR_DEVICE_MANAGER_TITLE);
|
|
|
|
//
|
|
// This is where devices get added to the device manager hierarchy
|
|
//
|
|
label EFI_DISK_DEVICE_CLASS;
|
|
// label LABEL_END; // Since next opcode is a label, so this one could be omitted to save code size
|
|
|
|
label EFI_VIDEO_DEVICE_CLASS;
|
|
// label LABEL_END;
|
|
|
|
label EFI_NETWORK_DEVICE_CLASS;
|
|
// label LABEL_END;
|
|
|
|
label EFI_INPUT_DEVICE_CLASS;
|
|
// label LABEL_END;
|
|
|
|
label EFI_ON_BOARD_DEVICE_CLASS;
|
|
// label LABEL_END;
|
|
|
|
// label EFI_OTHER_DEVICE_CLASS;
|
|
|
|
label LABEL_DEVICES_LIST;
|
|
label LABEL_END;
|
|
|
|
subtitle text = STRING_TOKEN(STR_LAST_STRING);
|
|
subtitle text = STRING_TOKEN(STR_DM_DRIVER_HEALTH_TITLE);
|
|
|
|
text
|
|
help = STRING_TOKEN(STR_DRIVER_HEALTH_STATUS_HELP),
|
|
text = STRING_TOKEN(STR_DRIVER_HEALTH_ALL_HEALTHY),
|
|
text = STRING_TOKEN(STR_LAST_STRING),
|
|
flags = INTERACTIVE,
|
|
key = DEVICE_MANAGER_KEY_DRIVER_HEALTH;
|
|
|
|
subtitle text = STRING_TOKEN(STR_EMPTY_STRING);
|
|
|
|
label LABEL_VBIOS;
|
|
label LABEL_END;
|
|
|
|
subtitle text = STRING_TOKEN(STR_EMPTY_STRING);
|
|
subtitle text = STRING_TOKEN(STR_EXIT_STRING);
|
|
|
|
endform;
|
|
endformset;
|
|
|