1/* DO NOT EDIT!  This is an autogenerated file.  See scripts/acpi_extract.py. */
2static unsigned char acpi_pci64_length[] = {
3    0x6f
4};
5
6static unsigned char acpi_s4_pkg[] = {
7    0x8f
8};
9
10static unsigned char acpi_s3_name[] = {
11    0x7c
12};
13
14static unsigned char acpi_pci32_start[] = {
15    0x2f
16};
17
18static unsigned char acpi_pci64_valid[] = {
19    0x43
20};
21
22static unsigned char ssdp_misc_aml[] = {
23    0x53, 0x53, 0x44, 0x54, 0x62, 0x01, 0x00, 0x00,
24    0x01, 0x7f, 0x42, 0x58, 0x50, 0x43, 0x00, 0x00,
25    0x42, 0x58, 0x53, 0x53, 0x44, 0x54, 0x53, 0x55,
26    0x01, 0x00, 0x00, 0x00, 0x49, 0x4e, 0x54, 0x4c,
27    0x18, 0x08, 0x15, 0x20, 0x10, 0x42, 0x05, 0x5c,
28    0x00, 0x08, 0x50, 0x30, 0x53, 0x5f, 0x0c, 0x78,
29    0x56, 0x34, 0x12, 0x08, 0x50, 0x30, 0x45, 0x5f,
30    0x0c, 0x78, 0x56, 0x34, 0x12, 0x08, 0x50, 0x31,
31    0x56, 0x5f, 0x0a, 0x12, 0x08, 0x50, 0x31, 0x53,
32    0x5f, 0x11, 0x0b, 0x0a, 0x08, 0x00, 0x00, 0x00,
33    0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x50, 0x31,
34    0x45, 0x5f, 0x11, 0x0b, 0x0a, 0x08, 0x00, 0x00,
35    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x50,
36    0x31, 0x4c, 0x5f, 0x11, 0x0b, 0x0a, 0x08, 0x00,
37    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10,
38    0x29, 0x5c, 0x00, 0x08, 0x5f, 0x53, 0x33, 0x5f,
39    0x12, 0x06, 0x04, 0x01, 0x01, 0x00, 0x00, 0x08,
40    0x5f, 0x53, 0x34, 0x5f, 0x12, 0x08, 0x04, 0x0a,
41    0x02, 0x0a, 0x02, 0x00, 0x00, 0x08, 0x5f, 0x53,
42    0x35, 0x5f, 0x12, 0x06, 0x04, 0x00, 0x00, 0x00,
43    0x00, 0x10, 0x40, 0x0c, 0x5c, 0x2f, 0x03, 0x5f,
44    0x53, 0x42, 0x5f, 0x50, 0x43, 0x49, 0x30, 0x49,
45    0x53, 0x41, 0x5f, 0x5b, 0x82, 0x4d, 0x0a, 0x50,
46    0x45, 0x56, 0x54, 0x08, 0x5f, 0x48, 0x49, 0x44,
47    0x0d, 0x51, 0x45, 0x4d, 0x55, 0x30, 0x30, 0x30,
48    0x31, 0x00, 0x08, 0x50, 0x45, 0x53, 0x54, 0x0b,
49    0xff, 0xff, 0x5b, 0x80, 0x50, 0x45, 0x4f, 0x52,
50    0x01, 0x50, 0x45, 0x53, 0x54, 0x01, 0x5b, 0x81,
51    0x0b, 0x50, 0x45, 0x4f, 0x52, 0x01, 0x50, 0x45,
52    0x50, 0x54, 0x08, 0x14, 0x18, 0x5f, 0x53, 0x54,
53    0x41, 0x00, 0x70, 0x50, 0x45, 0x53, 0x54, 0x60,
54    0xa0, 0x06, 0x93, 0x60, 0x00, 0xa4, 0x00, 0xa1,
55    0x04, 0xa4, 0x0a, 0x0f, 0x14, 0x0e, 0x52, 0x44,
56    0x50, 0x54, 0x00, 0x70, 0x50, 0x45, 0x50, 0x54,
57    0x60, 0xa4, 0x60, 0x14, 0x0c, 0x57, 0x52, 0x50,
58    0x54, 0x01, 0x70, 0x68, 0x50, 0x45, 0x50, 0x54,
59    0x08, 0x5f, 0x43, 0x52, 0x53, 0x11, 0x0d, 0x0a,
60    0x0a, 0x47, 0x01, 0x00, 0x00, 0x00, 0x00, 0x01,
61    0x01, 0x79, 0x00, 0x8b, 0x5f, 0x43, 0x52, 0x53,
62    0x0a, 0x02, 0x49, 0x4f, 0x4d, 0x4e, 0x8b, 0x5f,
63    0x43, 0x52, 0x53, 0x0a, 0x04, 0x49, 0x4f, 0x4d,
64    0x58, 0x14, 0x18, 0x5f, 0x49, 0x4e, 0x49, 0x00,
65    0x70, 0x50, 0x45, 0x53, 0x54, 0x49, 0x4f, 0x4d,
66    0x4e, 0x70, 0x50, 0x45, 0x53, 0x54, 0x49, 0x4f,
67    0x4d, 0x58
68};
69
70static unsigned char ssdt_isa_pest[] = {
71    0xd0
72};
73
74static unsigned char acpi_s4_name[] = {
75    0x88
76};
77
78static unsigned char acpi_pci64_start[] = {
79    0x4d
80};
81
82static unsigned char acpi_pci64_end[] = {
83    0x5e
84};
85
86static unsigned char acpi_pci32_end[] = {
87    0x39
88};
89