]>
Commit | Line | Data |
---|---|---|
5c08e117 | 1 | ///** @file\r |
2 | // \r | |
3 | // Device Manager formset.\r | |
4 | // \r | |
ab4da126 | 5 | // Copyright (c) 2004 - 2009, Intel Corporation. <BR>\r |
5c08e117 | 6 | // All rights reserved. This program and the accompanying materials\r |
7 | // are licensed and made available under the terms and conditions of the BSD License\r | |
8 | // which accompanies this distribution. The full text of the license may be found at\r | |
9 | // http://opensource.org/licenses/bsd-license.php\r | |
10 | // \r | |
11 | // THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r | |
12 | // WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r | |
13 | // \r | |
14 | //**/\r | |
15 | \r | |
16 | #define FORMSET_GUID { 0x3ebfa8e6, 0x511d, 0x4b5b, 0xa9, 0x5f, 0xfb, 0x38, 0x26, 0xf, 0x1c, 0x27 }\r | |
17 | \r | |
18 | #define EFI_DISK_DEVICE_CLASS 0x0001\r | |
19 | #define EFI_VIDEO_DEVICE_CLASS 0x0002\r | |
20 | #define EFI_NETWORK_DEVICE_CLASS 0x0004\r | |
21 | #define EFI_INPUT_DEVICE_CLASS 0x0008\r | |
22 | #define EFI_ON_BOARD_DEVICE_CLASS 0x0010\r | |
23 | #define EFI_OTHER_DEVICE_CLASS 0x0020\r | |
24 | #define LABEL_VBIOS 0x0040\r | |
25 | \r | |
75bf9d0e | 26 | #define LABEL_DEVICES_LIST 0x0080\r |
5c08e117 | 27 | #define LABEL_END 0xffff\r |
28 | \r | |
29 | #define DEVICE_MANAGER_CLASS 0x0000\r | |
6aa22a17 | 30 | #define FRONT_PAGE_SUBCLASS 0x0003\r |
5c08e117 | 31 | \r |
32 | #define DEVICE_MANAGER_FORM_ID 0x1000\r | |
33 | \r | |
ab4da126 | 34 | #define DEVICE_MANAGER_KEY_DRIVER_HEALTH 0x1111\r |
35 | \r | |
5c08e117 | 36 | formset\r |
75bf9d0e LG |
37 | guid = FORMSET_GUID,\r |
38 | title = STRING_TOKEN(STR_DEVICE_MANAGER_TITLE),\r | |
39 | help = STRING_TOKEN(STR_EMPTY_STRING),\r | |
40 | classguid = FORMSET_GUID,\r | |
41 | class = DEVICE_MANAGER_CLASS,\r | |
42 | subclass = FRONT_PAGE_SUBCLASS,\r | |
5c08e117 | 43 | \r |
44 | form formid = DEVICE_MANAGER_FORM_ID,\r | |
45 | title = STRING_TOKEN(STR_DEVICE_MANAGER_TITLE);\r | |
46 | \r | |
47 | //\r | |
48 | // This is where devices get added to the device manager hierarchy\r | |
49 | //\r | |
50 | label EFI_DISK_DEVICE_CLASS;\r | |
51 | // label LABEL_END; // Since next opcode is a label, so this one could be omitted to save code size\r | |
52 | \r | |
53 | label EFI_VIDEO_DEVICE_CLASS;\r | |
54 | // label LABEL_END;\r | |
55 | \r | |
56 | label EFI_NETWORK_DEVICE_CLASS;\r | |
57 | // label LABEL_END;\r | |
58 | \r | |
59 | label EFI_INPUT_DEVICE_CLASS;\r | |
60 | // label LABEL_END;\r | |
61 | \r | |
62 | label EFI_ON_BOARD_DEVICE_CLASS;\r | |
63 | // label LABEL_END;\r | |
64 | \r | |
75bf9d0e LG |
65 | // label EFI_OTHER_DEVICE_CLASS;\r |
66 | \r | |
67 | label LABEL_DEVICES_LIST;\r | |
5c08e117 | 68 | label LABEL_END;\r |
ab4da126 | 69 | \r |
70 | subtitle text = STRING_TOKEN(STR_LAST_STRING);\r | |
71 | subtitle text = STRING_TOKEN(STR_DM_DRIVER_HEALTH_TITLE); \r | |
72 | \r | |
73 | text\r | |
74 | help = STRING_TOKEN(STR_DRIVER_HEALTH_STATUS_HELP),\r | |
75 | text = STRING_TOKEN(STR_DRIVER_HEALTH_ALL_HEALTHY),\r | |
76 | text = STRING_TOKEN(STR_LAST_STRING),\r | |
77 | flags = INTERACTIVE,\r | |
78 | key = DEVICE_MANAGER_KEY_DRIVER_HEALTH; \r | |
79 | \r | |
5c08e117 | 80 | subtitle text = STRING_TOKEN(STR_EMPTY_STRING);\r |
81 | \r | |
82 | label LABEL_VBIOS;\r | |
83 | label LABEL_END;\r | |
ab4da126 | 84 | \r |
5c08e117 | 85 | subtitle text = STRING_TOKEN(STR_EMPTY_STRING);\r |
86 | subtitle text = STRING_TOKEN(STR_EXIT_STRING);\r | |
87 | \r | |
88 | endform;\r | |
89 | endformset;\r | |
90 | \r |