/* DO NOT EDIT!  This is an autogenerated file.  See scripts/acpi_extract.py. */
static unsigned char acpi_pci64_length[] = {
    0x6f
};

static unsigned char acpi_s4_pkg[] = {
    0x8f
};

static unsigned char acpi_s3_name[] = {
    0x7c
};

static unsigned char acpi_pci32_start[] = {
    0x2f
};

static unsigned char acpi_pci64_valid[] = {
    0x43
};

static unsigned char ssdp_misc_aml[] = {
    0x53, 0x53, 0x44, 0x54, 0x62, 0x01, 0x00, 0x00,
    0x01, 0x7f, 0x42, 0x58, 0x50, 0x43, 0x00, 0x00,
    0x42, 0x58, 0x53, 0x53, 0x44, 0x54, 0x53, 0x55,
    0x01, 0x00, 0x00, 0x00, 0x49, 0x4e, 0x54, 0x4c,
    0x18, 0x08, 0x15, 0x20, 0x10, 0x42, 0x05, 0x5c,
    0x00, 0x08, 0x50, 0x30, 0x53, 0x5f, 0x0c, 0x78,
    0x56, 0x34, 0x12, 0x08, 0x50, 0x30, 0x45, 0x5f,
    0x0c, 0x78, 0x56, 0x34, 0x12, 0x08, 0x50, 0x31,
    0x56, 0x5f, 0x0a, 0x12, 0x08, 0x50, 0x31, 0x53,
    0x5f, 0x11, 0x0b, 0x0a, 0x08, 0x00, 0x00, 0x00,
    0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x50, 0x31,
    0x45, 0x5f, 0x11, 0x0b, 0x0a, 0x08, 0x00, 0x00,
    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x50,
    0x31, 0x4c, 0x5f, 0x11, 0x0b, 0x0a, 0x08, 0x00,
    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10,
    0x29, 0x5c, 0x00, 0x08, 0x5f, 0x53, 0x33, 0x5f,
    0x12, 0x06, 0x04, 0x01, 0x01, 0x00, 0x00, 0x08,
    0x5f, 0x53, 0x34, 0x5f, 0x12, 0x08, 0x04, 0x0a,
    0x02, 0x0a, 0x02, 0x00, 0x00, 0x08, 0x5f, 0x53,
    0x35, 0x5f, 0x12, 0x06, 0x04, 0x00, 0x00, 0x00,
    0x00, 0x10, 0x40, 0x0c, 0x5c, 0x2f, 0x03, 0x5f,
    0x53, 0x42, 0x5f, 0x50, 0x43, 0x49, 0x30, 0x49,
    0x53, 0x41, 0x5f, 0x5b, 0x82, 0x4d, 0x0a, 0x50,
    0x45, 0x56, 0x54, 0x08, 0x5f, 0x48, 0x49, 0x44,
    0x0d, 0x51, 0x45, 0x4d, 0x55, 0x30, 0x30, 0x30,
    0x31, 0x00, 0x08, 0x50, 0x45, 0x53, 0x54, 0x0b,
    0xff, 0xff, 0x5b, 0x80, 0x50, 0x45, 0x4f, 0x52,
    0x01, 0x50, 0x45, 0x53, 0x54, 0x01, 0x5b, 0x81,
    0x0b, 0x50, 0x45, 0x4f, 0x52, 0x01, 0x50, 0x45,
    0x50, 0x54, 0x08, 0x14, 0x18, 0x5f, 0x53, 0x54,
    0x41, 0x00, 0x70, 0x50, 0x45, 0x53, 0x54, 0x60,
    0xa0, 0x06, 0x93, 0x60, 0x00, 0xa4, 0x00, 0xa1,
    0x04, 0xa4, 0x0a, 0x0f, 0x14, 0x0e, 0x52, 0x44,
    0x50, 0x54, 0x00, 0x70, 0x50, 0x45, 0x50, 0x54,
    0x60, 0xa4, 0x60, 0x14, 0x0c, 0x57, 0x52, 0x50,
    0x54, 0x01, 0x70, 0x68, 0x50, 0x45, 0x50, 0x54,
    0x08, 0x5f, 0x43, 0x52, 0x53, 0x11, 0x0d, 0x0a,
    0x0a, 0x47, 0x01, 0x00, 0x00, 0x00, 0x00, 0x01,
    0x01, 0x79, 0x00, 0x8b, 0x5f, 0x43, 0x52, 0x53,
    0x0a, 0x02, 0x49, 0x4f, 0x4d, 0x4e, 0x8b, 0x5f,
    0x43, 0x52, 0x53, 0x0a, 0x04, 0x49, 0x4f, 0x4d,
    0x58, 0x14, 0x18, 0x5f, 0x49, 0x4e, 0x49, 0x00,
    0x70, 0x50, 0x45, 0x53, 0x54, 0x49, 0x4f, 0x4d,
    0x4e, 0x70, 0x50, 0x45, 0x53, 0x54, 0x49, 0x4f,
    0x4d, 0x58
};

static unsigned char ssdt_isa_pest[] = {
    0xd0
};

static unsigned char acpi_s4_name[] = {
    0x88
};

static unsigned char acpi_pci64_start[] = {
    0x4d
};

static unsigned char acpi_pci64_end[] = {
    0x5e
};

static unsigned char acpi_pci32_end[] = {
    0x39
};