tests/bios-tables-test.c

   1 /*
   2  * Boot order test cases.
   3  *
   4  * Copyright (c) 2013 Red Hat Inc.
   5  *
   6  * Authors:
   7  *  Michael S. Tsirkin <[email protected]>,
   8  *
   9  * This work is licensed under the terms of the GNU GPL, version 2 or later.
  10  * See the COPYING file in the top-level directory.
  11  */
  12
  13 #include "qemu/osdep.h"
  14 #include <glib/gstdio.h>
  15 #include "qemu-common.h"
  16 #include "libqtest.h"
  17 #include "hw/acpi/acpi-defs.h"
  18 #include "hw/smbios/smbios.h"
  19 #include "qemu/bitmap.h"
  20 #include "boot-sector.h"
  21
  22 #define MACHINE_PC "pc"
  23 #define MACHINE_Q35 "q35"
  24
  25 #define ACPI_REBUILD_EXPECTED_AML "TEST_ACPI_REBUILD_AML"
  26
  27 /* DSDT and SSDTs format */
  28 typedef struct {
  29     AcpiTableHeader header;
  30     gchar *aml;            /* aml bytecode from guest */
  31     gsize aml_len;
  32     gchar *aml_file;
  33     gchar *asl;            /* asl code generated from aml */
  34     gsize asl_len;
  35     gchar *asl_file;
  36     bool tmp_files_retain;   /* do not delete the temp asl/aml */
  37 } QEMU_PACKED AcpiSdtTable;
  38
  39 typedef struct {
  40     const char *machine;
  41     const char *variant;
  42     uint32_t rsdp_addr;
  43     AcpiRsdpDescriptor rsdp_table;
  44     AcpiRsdtDescriptorRev1 rsdt_table;
  45     AcpiFadtDescriptorRev1 fadt_table;
  46     AcpiFacsDescriptorRev1 facs_table;
  47     uint32_t *rsdt_tables_addr;
  48     int rsdt_tables_nr;
  49     GArray *tables;
  50     uint32_t smbios_ep_addr;
  51     struct smbios_21_entry_point smbios_ep_table;
  52     uint8_t *required_struct_types;
  53     int required_struct_types_len;
  54 } test_data;
  55
  56 #define ACPI_READ_FIELD(field, addr)           \
  57     do {                                       \
  58         switch (sizeof(field)) {               \
  59         case 1:                                \
  60             field = readb(addr);               \
  61             break;                             \
  62         case 2:                                \
  63             field = readw(addr);               \
  64             break;                             \
  65         case 4:                                \
  66             field = readl(addr);               \
  67             break;                             \
  68         case 8:                                \
  69             field = readq(addr);               \
  70             break;                             \
  71         default:                               \
  72             g_assert(false);                   \
  73         }                                      \
  74         addr += sizeof(field);                  \
  75     } while (0);
  76
  77 #define ACPI_READ_ARRAY_PTR(arr, length, addr)  \
  78     do {                                        \
  79         int idx;                                \
  80         for (idx = 0; idx < length; ++idx) {    \
  81             ACPI_READ_FIELD(arr[idx], addr);    \
  82         }                                       \
  83     } while (0);
  84
  85 #define ACPI_READ_ARRAY(arr, addr)                               \
  86     ACPI_READ_ARRAY_PTR(arr, sizeof(arr)/sizeof(arr[0]), addr)
  87
  88 #define ACPI_READ_TABLE_HEADER(table, addr)                      \
  89     do {                                                         \
  90         ACPI_READ_FIELD((table)->signature, addr);               \
  91         ACPI_READ_FIELD((table)->length, addr);                  \
  92         ACPI_READ_FIELD((table)->revision, addr);                \
  93         ACPI_READ_FIELD((table)->checksum, addr);                \
  94         ACPI_READ_ARRAY((table)->oem_id, addr);                  \
  95         ACPI_READ_ARRAY((table)->oem_table_id, addr);            \
  96         ACPI_READ_FIELD((table)->oem_revision, addr);            \
  97         ACPI_READ_ARRAY((table)->asl_compiler_id, addr);         \
  98         ACPI_READ_FIELD((table)->asl_compiler_revision, addr);   \
  99     } while (0);
 100
 101 #define ACPI_ASSERT_CMP(actual, expected) do { \
 102     uint32_t ACPI_ASSERT_CMP_le = cpu_to_le32(actual); \
 103     char ACPI_ASSERT_CMP_str[5] = {}; \
 104     memcpy(ACPI_ASSERT_CMP_str, &ACPI_ASSERT_CMP_le, 4); \
 105     g_assert_cmpstr(ACPI_ASSERT_CMP_str, ==, expected); \
 106 } while (0)
 107
 108 #define ACPI_ASSERT_CMP64(actual, expected) do { \
 109     uint64_t ACPI_ASSERT_CMP_le = cpu_to_le64(actual); \
 110     char ACPI_ASSERT_CMP_str[9] = {}; \
 111     memcpy(ACPI_ASSERT_CMP_str, &ACPI_ASSERT_CMP_le, 8); \
 112     g_assert_cmpstr(ACPI_ASSERT_CMP_str, ==, expected); \
 113 } while (0)
 114
 115 static const char *disk = "tests/acpi-test-disk.raw";
 116 static const char *data_dir = "tests/acpi-test-data";
 117 #ifdef CONFIG_IASL
 118 static const char *iasl = stringify(CONFIG_IASL);
 119 #else
 120 static const char *iasl;
 121 #endif
 122
 123 static void free_test_data(test_data *data)
 124 {
 125     AcpiSdtTable *temp;
 126     int i;
 127
 128     g_free(data->rsdt_tables_addr);
 129
 130     for (i = 0; i < data->tables->len; ++i) {
 131         temp = &g_array_index(data->tables, AcpiSdtTable, i);
 132         g_free(temp->aml);
 133         if (temp->aml_file &&
 134             !temp->tmp_files_retain &&
 135             g_strstr_len(temp->aml_file, -1, "aml-")) {
 136             unlink(temp->aml_file);
 137         }
 138         g_free(temp->aml_file);
 139         g_free(temp->asl);
 140         if (temp->asl_file &&
 141             !temp->tmp_files_retain) {
 142             unlink(temp->asl_file);
 143         }
 144         g_free(temp->asl_file);
 145     }
 146
 147     g_array_free(data->tables, false);
 148 }
 149
 150 static uint8_t acpi_checksum(const uint8_t *data, int len)
 151 {
 152     int i;
 153     uint8_t sum = 0;
 154
 155     for (i = 0; i < len; i++) {
 156         sum += data[i];
 157     }
 158
 159     return sum;
 160 }
 161
 162 static void test_acpi_rsdp_address(test_data *data)
 163 {
 164     uint32_t off;
 165
 166     /* OK, now find RSDP */
 167     for (off = 0xf0000; off < 0x100000; off += 0x10) {
 168         uint8_t sig[] = "RSD PTR ";
 169         int i;
 170
 171         for (i = 0; i < sizeof sig - 1; ++i) {
 172             sig[i] = readb(off + i);
 173         }
 174
 175         if (!memcmp(sig, "RSD PTR ", sizeof sig)) {
 176             break;
 177         }
 178     }
 179
 180     g_assert_cmphex(off, <, 0x100000);
 181     data->rsdp_addr = off;
 182 }
 183
 184 static void test_acpi_rsdp_table(test_data *data)
 185 {
 186     AcpiRsdpDescriptor *rsdp_table = &data->rsdp_table;
 187     uint32_t addr = data->rsdp_addr;
 188
 189     ACPI_READ_FIELD(rsdp_table->signature, addr);
 190     ACPI_ASSERT_CMP64(rsdp_table->signature, "RSD PTR ");
 191
 192     ACPI_READ_FIELD(rsdp_table->checksum, addr);
 193     ACPI_READ_ARRAY(rsdp_table->oem_id, addr);
 194     ACPI_READ_FIELD(rsdp_table->revision, addr);
 195     ACPI_READ_FIELD(rsdp_table->rsdt_physical_address, addr);
 196     ACPI_READ_FIELD(rsdp_table->length, addr);
 197
 198     /* rsdp checksum is not for the whole table, but for the first 20 bytes */
 199     g_assert(!acpi_checksum((uint8_t *)rsdp_table, 20));
 200 }
 201
 202 static void test_acpi_rsdt_table(test_data *data)
 203 {
 204     AcpiRsdtDescriptorRev1 *rsdt_table = &data->rsdt_table;
 205     uint32_t addr = data->rsdp_table.rsdt_physical_address;
 206     uint32_t *tables;
 207     int tables_nr;
 208     uint8_t checksum;
 209
 210     /* read the header */
 211     ACPI_READ_TABLE_HEADER(rsdt_table, addr);
 212     ACPI_ASSERT_CMP(rsdt_table->signature, "RSDT");
 213
 214     /* compute the table entries in rsdt */
 215     tables_nr = (rsdt_table->length - sizeof(AcpiRsdtDescriptorRev1)) /
 216                 sizeof(uint32_t);
 217     g_assert_cmpint(tables_nr, >, 0);
 218
 219     /* get the addresses of the tables pointed by rsdt */
 220     tables = g_new0(uint32_t, tables_nr);
 221     ACPI_READ_ARRAY_PTR(tables, tables_nr, addr);
 222
 223     checksum = acpi_checksum((uint8_t *)rsdt_table, rsdt_table->length) +
 224                acpi_checksum((uint8_t *)tables, tables_nr * sizeof(uint32_t));
 225     g_assert(!checksum);
 226
 227    /* SSDT tables after FADT */
 228     data->rsdt_tables_addr = tables;
 229     data->rsdt_tables_nr = tables_nr;
 230 }
 231
 232 static void test_acpi_fadt_table(test_data *data)
 233 {
 234     AcpiFadtDescriptorRev1 *fadt_table = &data->fadt_table;
 235     uint32_t addr;
 236
 237     /* FADT table comes first */
 238     addr = data->rsdt_tables_addr[0];
 239     ACPI_READ_TABLE_HEADER(fadt_table, addr);
 240
 241     ACPI_READ_FIELD(fadt_table->firmware_ctrl, addr);
 242     ACPI_READ_FIELD(fadt_table->dsdt, addr);
 243     ACPI_READ_FIELD(fadt_table->model, addr);
 244     ACPI_READ_FIELD(fadt_table->reserved1, addr);
 245     ACPI_READ_FIELD(fadt_table->sci_int, addr);
 246     ACPI_READ_FIELD(fadt_table->smi_cmd, addr);
 247     ACPI_READ_FIELD(fadt_table->acpi_enable, addr);
 248     ACPI_READ_FIELD(fadt_table->acpi_disable, addr);
 249     ACPI_READ_FIELD(fadt_table->S4bios_req, addr);
 250     ACPI_READ_FIELD(fadt_table->reserved2, addr);
 251     ACPI_READ_FIELD(fadt_table->pm1a_evt_blk, addr);
 252     ACPI_READ_FIELD(fadt_table->pm1b_evt_blk, addr);
 253     ACPI_READ_FIELD(fadt_table->pm1a_cnt_blk, addr);
 254     ACPI_READ_FIELD(fadt_table->pm1b_cnt_blk, addr);
 255     ACPI_READ_FIELD(fadt_table->pm2_cnt_blk, addr);
 256     ACPI_READ_FIELD(fadt_table->pm_tmr_blk, addr);
 257     ACPI_READ_FIELD(fadt_table->gpe0_blk, addr);
 258     ACPI_READ_FIELD(fadt_table->gpe1_blk, addr);
 259     ACPI_READ_FIELD(fadt_table->pm1_evt_len, addr);
 260     ACPI_READ_FIELD(fadt_table->pm1_cnt_len, addr);
 261     ACPI_READ_FIELD(fadt_table->pm2_cnt_len, addr);
 262     ACPI_READ_FIELD(fadt_table->pm_tmr_len, addr);
 263     ACPI_READ_FIELD(fadt_table->gpe0_blk_len, addr);
 264     ACPI_READ_FIELD(fadt_table->gpe1_blk_len, addr);
 265     ACPI_READ_FIELD(fadt_table->gpe1_base, addr);
 266     ACPI_READ_FIELD(fadt_table->reserved3, addr);
 267     ACPI_READ_FIELD(fadt_table->plvl2_lat, addr);
 268     ACPI_READ_FIELD(fadt_table->plvl3_lat, addr);
 269     ACPI_READ_FIELD(fadt_table->flush_size, addr);
 270     ACPI_READ_FIELD(fadt_table->flush_stride, addr);
 271     ACPI_READ_FIELD(fadt_table->duty_offset, addr);
 272     ACPI_READ_FIELD(fadt_table->duty_width, addr);
 273     ACPI_READ_FIELD(fadt_table->day_alrm, addr);
 274     ACPI_READ_FIELD(fadt_table->mon_alrm, addr);
 275     ACPI_READ_FIELD(fadt_table->century, addr);
 276     ACPI_READ_FIELD(fadt_table->reserved4, addr);
 277     ACPI_READ_FIELD(fadt_table->reserved4a, addr);
 278     ACPI_READ_FIELD(fadt_table->reserved4b, addr);
 279     ACPI_READ_FIELD(fadt_table->flags, addr);
 280
 281     ACPI_ASSERT_CMP(fadt_table->signature, "FACP");
 282     g_assert(!acpi_checksum((uint8_t *)fadt_table, fadt_table->length));
 283 }
 284
 285 static void test_acpi_facs_table(test_data *data)
 286 {
 287     AcpiFacsDescriptorRev1 *facs_table = &data->facs_table;
 288     uint32_t addr = data->fadt_table.firmware_ctrl;
 289
 290     ACPI_READ_FIELD(facs_table->signature, addr);
 291     ACPI_READ_FIELD(facs_table->length, addr);
 292     ACPI_READ_FIELD(facs_table->hardware_signature, addr);
 293     ACPI_READ_FIELD(facs_table->firmware_waking_vector, addr);
 294     ACPI_READ_FIELD(facs_table->global_lock, addr);
 295     ACPI_READ_FIELD(facs_table->flags, addr);
 296     ACPI_READ_ARRAY(facs_table->resverved3, addr);
 297
 298     ACPI_ASSERT_CMP(facs_table->signature, "FACS");
 299 }
 300
 301 static void test_dst_table(AcpiSdtTable *sdt_table, uint32_t addr)
 302 {
 303     uint8_t checksum;
 304
 305     ACPI_READ_TABLE_HEADER(&sdt_table->header, addr);
 306
 307     sdt_table->aml_len = sdt_table->header.length - sizeof(AcpiTableHeader);
 308     sdt_table->aml = g_malloc0(sdt_table->aml_len);
 309     ACPI_READ_ARRAY_PTR(sdt_table->aml, sdt_table->aml_len, addr);
 310
 311     checksum = acpi_checksum((uint8_t *)sdt_table, sizeof(AcpiTableHeader)) +
 312                acpi_checksum((uint8_t *)sdt_table->aml, sdt_table->aml_len);
 313     g_assert(!checksum);
 314 }
 315
 316 static void test_acpi_dsdt_table(test_data *data)
 317 {
 318     AcpiSdtTable dsdt_table;
 319     uint32_t addr = data->fadt_table.dsdt;
 320
 321     memset(&dsdt_table, 0, sizeof(dsdt_table));
 322     data->tables = g_array_new(false, true, sizeof(AcpiSdtTable));
 323
 324     test_dst_table(&dsdt_table, addr);
 325     ACPI_ASSERT_CMP(dsdt_table.header.signature, "DSDT");
 326
 327     /* Place DSDT first */
 328     g_array_append_val(data->tables, dsdt_table);
 329 }
 330
 331 static void test_acpi_tables(test_data *data)
 332 {
 333     int tables_nr = data->rsdt_tables_nr - 1; /* fadt is first */
 334     int i;
 335
 336     for (i = 0; i < tables_nr; i++) {
 337         AcpiSdtTable ssdt_table;
 338
 339         memset(&ssdt_table, 0, sizeof(ssdt_table));
 340         uint32_t addr = data->rsdt_tables_addr[i + 1]; /* fadt is first */
 341         test_dst_table(&ssdt_table, addr);
 342         g_array_append_val(data->tables, ssdt_table);
 343     }
 344 }
 345
 346 static void dump_aml_files(test_data *data, bool rebuild)
 347 {
 348     AcpiSdtTable *sdt;
 349     GError *error = NULL;
 350     gchar *aml_file = NULL;
 351     gint fd;
 352     ssize_t ret;
 353     int i;
 354
 355     for (i = 0; i < data->tables->len; ++i) {
 356         const char *ext = data->variant ? data->variant : "";
 357         sdt = &g_array_index(data->tables, AcpiSdtTable, i);
 358         g_assert(sdt->aml);
 359
 360         if (rebuild) {
 361             uint32_t signature = cpu_to_le32(sdt->header.signature);
 362             aml_file = g_strdup_printf("%s/%s/%.4s%s", data_dir, data->machine,
 363                                        (gchar *)&signature, ext);
 364             fd = g_open(aml_file, O_WRONLY|O_TRUNC|O_CREAT,
 365                         S_IRUSR|S_IWUSR|S_IRGRP|S_IWGRP|S_IROTH);
 366         } else {
 367             fd = g_file_open_tmp("aml-XXXXXX", &sdt->aml_file, &error);
 368             g_assert_no_error(error);
 369         }
 370         g_assert(fd >= 0);
 371
 372         ret = qemu_write_full(fd, sdt, sizeof(AcpiTableHeader));
 373         g_assert(ret == sizeof(AcpiTableHeader));
 374         ret = qemu_write_full(fd, sdt->aml, sdt->aml_len);
 375         g_assert(ret == sdt->aml_len);
 376
 377         close(fd);
 378
 379         g_free(aml_file);
 380     }
 381 }
 382
 383 static bool compare_signature(AcpiSdtTable *sdt, const char *signature)
 384 {
 385    return !memcmp(&sdt->header.signature, signature, 4);
 386 }
 387
 388 static bool load_asl(GArray *sdts, AcpiSdtTable *sdt)
 389 {
 390     AcpiSdtTable *temp;
 391     GError *error = NULL;
 392     GString *command_line = g_string_new(iasl);
 393     gint fd;
 394     gchar *out, *out_err;
 395     gboolean ret;
 396     int i;
 397
 398     fd = g_file_open_tmp("asl-XXXXXX.dsl", &sdt->asl_file, &error);
 399     g_assert_no_error(error);
 400     close(fd);
 401
 402     /* build command line */
 403     g_string_append_printf(command_line, " -p %s ", sdt->asl_file);
 404     if (compare_signature(sdt, "DSDT") ||
 405         compare_signature(sdt, "SSDT")) {
 406         for (i = 0; i < sdts->len; ++i) {
 407             temp = &g_array_index(sdts, AcpiSdtTable, i);
 408             if (compare_signature(temp, "DSDT") ||
 409                 compare_signature(temp, "SSDT")) {
 410                 g_string_append_printf(command_line, "-e %s ", temp->aml_file);
 411             }
 412         }
 413     }
 414     g_string_append_printf(command_line, "-d %s", sdt->aml_file);
 415
 416     /* pass 'out' and 'out_err' in order to be redirected */
 417     ret = g_spawn_command_line_sync(command_line->str, &out, &out_err, NULL, &error);
 418     g_assert_no_error(error);
 419     if (ret) {
 420         ret = g_file_get_contents(sdt->asl_file, (gchar **)&sdt->asl,
 421                                   &sdt->asl_len, &error);
 422         g_assert(ret);
 423         g_assert_no_error(error);
 424         ret = (sdt->asl_len > 0);
 425     }
 426
 427     g_free(out);
 428     g_free(out_err);
 429     g_string_free(command_line, true);
 430
 431     return !ret;
 432 }
 433
 434 #define COMMENT_END "*/"
 435 #define DEF_BLOCK "DefinitionBlock ("
 436 #define BLOCK_NAME_END ","
 437
 438 static GString *normalize_asl(gchar *asl_code)
 439 {
 440     GString *asl = g_string_new(asl_code);
 441     gchar *comment, *block_name;
 442
 443     /* strip comments (different generation days) */
 444     comment = g_strstr_len(asl->str, asl->len, COMMENT_END);
 445     if (comment) {
 446         comment += strlen(COMMENT_END);
 447         while (*comment == '\n') {
 448             comment++;
 449         }
 450         asl = g_string_erase(asl, 0, comment - asl->str);
 451     }
 452
 453     /* strip def block name (it has file path in it) */
 454     if (g_str_has_prefix(asl->str, DEF_BLOCK)) {
 455         block_name = g_strstr_len(asl->str, asl->len, BLOCK_NAME_END);
 456         g_assert(block_name);
 457         asl = g_string_erase(asl, 0,
 458                              block_name + sizeof(BLOCK_NAME_END) - asl->str);
 459     }
 460
 461     return asl;
 462 }
 463
 464 static GArray *load_expected_aml(test_data *data)
 465 {
 466     int i;
 467     AcpiSdtTable *sdt;
 468     GError *error = NULL;
 469     gboolean ret;
 470
 471     GArray *exp_tables = g_array_new(false, true, sizeof(AcpiSdtTable));
 472     for (i = 0; i < data->tables->len; ++i) {
 473         AcpiSdtTable exp_sdt;
 474         uint32_t signature;
 475         gchar *aml_file = NULL;
 476         const char *ext = data->variant ? data->variant : "";
 477
 478         sdt = &g_array_index(data->tables, AcpiSdtTable, i);
 479
 480         memset(&exp_sdt, 0, sizeof(exp_sdt));
 481         exp_sdt.header.signature = sdt->header.signature;
 482
 483         signature = cpu_to_le32(sdt->header.signature);
 484
 485 try_again:
 486         aml_file = g_strdup_printf("%s/%s/%.4s%s", data_dir, data->machine,
 487                                    (gchar *)&signature, ext);
 488         if (getenv("V")) {
 489             fprintf(stderr, "\nLooking for expected file '%s'\n", aml_file);
 490         }
 491         if (g_file_test(aml_file, G_FILE_TEST_EXISTS)) {
 492             exp_sdt.aml_file = aml_file;
 493         } else if (*ext != '\0') {
 494             /* try fallback to generic (extention less) expected file */
 495             ext = "";
 496             g_free(aml_file);
 497             goto try_again;
 498         }
 499         g_assert(exp_sdt.aml_file);
 500         if (getenv("V")) {
 501             fprintf(stderr, "\nUsing expected file '%s'\n", aml_file);
 502         }
 503         ret = g_file_get_contents(aml_file, &exp_sdt.aml,
 504                                   &exp_sdt.aml_len, &error);
 505         g_assert(ret);
 506         g_assert_no_error(error);
 507         g_assert(exp_sdt.aml);
 508         g_assert(exp_sdt.aml_len);
 509
 510         g_array_append_val(exp_tables, exp_sdt);
 511     }
 512
 513     return exp_tables;
 514 }
 515
 516 static void test_acpi_asl(test_data *data)
 517 {
 518     int i;
 519     AcpiSdtTable *sdt, *exp_sdt;
 520     test_data exp_data;
 521     gboolean exp_err, err;
 522
 523     memset(&exp_data, 0, sizeof(exp_data));
 524     exp_data.tables = load_expected_aml(data);
 525     dump_aml_files(data, false);
 526     for (i = 0; i < data->tables->len; ++i) {
 527         GString *asl, *exp_asl;
 528
 529         sdt = &g_array_index(data->tables, AcpiSdtTable, i);
 530         exp_sdt = &g_array_index(exp_data.tables, AcpiSdtTable, i);
 531
 532         err = load_asl(data->tables, sdt);
 533         asl = normalize_asl(sdt->asl);
 534
 535         exp_err = load_asl(exp_data.tables, exp_sdt);
 536         exp_asl = normalize_asl(exp_sdt->asl);
 537
 538         /* TODO: check for warnings */
 539         g_assert(!err || exp_err);
 540
 541         if (g_strcmp0(asl->str, exp_asl->str)) {
 542             if (exp_err) {
 543                 fprintf(stderr,
 544                         "Warning! iasl couldn't parse the expected aml\n");
 545             } else {
 546                 uint32_t signature = cpu_to_le32(exp_sdt->header.signature);
 547                 sdt->tmp_files_retain = true;
 548                 exp_sdt->tmp_files_retain = true;
 549                 fprintf(stderr,
 550                         "acpi-test: Warning! %.4s mismatch. "
 551                         "Actual [asl:%s, aml:%s], Expected [asl:%s, aml:%s].\n",
 552                         (gchar *)&signature,
 553                         sdt->asl_file, sdt->aml_file,
 554                         exp_sdt->asl_file, exp_sdt->aml_file);
 555                 if (getenv("V")) {
 556                     const char *diff_cmd = getenv("DIFF");
 557                     if (diff_cmd) {
 558                         int ret G_GNUC_UNUSED;
 559                         char *diff = g_strdup_printf("%s %s %s", diff_cmd,
 560                             exp_sdt->asl_file, sdt->asl_file);
 561                         ret = system(diff) ;
 562                         g_free(diff);
 563                     } else {
 564                         fprintf(stderr, "acpi-test: Warning. not showing "
 565                             "difference since no diff utility is specified. "
 566                             "Set 'DIFF' environment variable to a preferred "
 567                             "diff utility and run 'make V=1 check' again to "
 568                             "see ASL difference.");
 569                     }
 570                 }
 571           }
 572         }
 573         g_string_free(asl, true);
 574         g_string_free(exp_asl, true);
 575     }
 576
 577     free_test_data(&exp_data);
 578 }
 579
 580 static bool smbios_ep_table_ok(test_data *data)
 581 {
 582     struct smbios_21_entry_point *ep_table = &data->smbios_ep_table;
 583     uint32_t addr = data->smbios_ep_addr;
 584
 585     ACPI_READ_ARRAY(ep_table->anchor_string, addr);
 586     if (memcmp(ep_table->anchor_string, "_SM_", 4)) {
 587         return false;
 588     }
 589     ACPI_READ_FIELD(ep_table->checksum, addr);
 590     ACPI_READ_FIELD(ep_table->length, addr);
 591     ACPI_READ_FIELD(ep_table->smbios_major_version, addr);
 592     ACPI_READ_FIELD(ep_table->smbios_minor_version, addr);
 593     ACPI_READ_FIELD(ep_table->max_structure_size, addr);
 594     ACPI_READ_FIELD(ep_table->entry_point_revision, addr);
 595     ACPI_READ_ARRAY(ep_table->formatted_area, addr);
 596     ACPI_READ_ARRAY(ep_table->intermediate_anchor_string, addr);
 597     if (memcmp(ep_table->intermediate_anchor_string, "_DMI_", 5)) {
 598         return false;
 599     }
 600     ACPI_READ_FIELD(ep_table->intermediate_checksum, addr);
 601     ACPI_READ_FIELD(ep_table->structure_table_length, addr);
 602     if (ep_table->structure_table_length == 0) {
 603         return false;
 604     }
 605     ACPI_READ_FIELD(ep_table->structure_table_address, addr);
 606     ACPI_READ_FIELD(ep_table->number_of_structures, addr);
 607     if (ep_table->number_of_structures == 0) {
 608         return false;
 609     }
 610     ACPI_READ_FIELD(ep_table->smbios_bcd_revision, addr);
 611     if (acpi_checksum((uint8_t *)ep_table, sizeof *ep_table) ||
 612         acpi_checksum((uint8_t *)ep_table + 0x10, sizeof *ep_table - 0x10)) {
 613         return false;
 614     }
 615     return true;
 616 }
 617
 618 static void test_smbios_entry_point(test_data *data)
 619 {
 620     uint32_t off;
 621
 622     /* find smbios entry point structure */
 623     for (off = 0xf0000; off < 0x100000; off += 0x10) {
 624         uint8_t sig[] = "_SM_";
 625         int i;
 626
 627         for (i = 0; i < sizeof sig - 1; ++i) {
 628             sig[i] = readb(off + i);
 629         }
 630
 631         if (!memcmp(sig, "_SM_", sizeof sig)) {
 632             /* signature match, but is this a valid entry point? */
 633             data->smbios_ep_addr = off;
 634             if (smbios_ep_table_ok(data)) {
 635                 break;
 636             }
 637         }
 638     }
 639
 640     g_assert_cmphex(off, <, 0x100000);
 641 }
 642
 643 static inline bool smbios_single_instance(uint8_t type)
 644 {
 645     switch (type) {
 646     case 0:
 647     case 1:
 648     case 2:
 649     case 3:
 650     case 16:
 651     case 32:
 652     case 127:
 653         return true;
 654     default:
 655         return false;
 656     }
 657 }
 658
 659 static void test_smbios_structs(test_data *data)
 660 {
 661     DECLARE_BITMAP(struct_bitmap, SMBIOS_MAX_TYPE+1) = { 0 };
 662     struct smbios_21_entry_point *ep_table = &data->smbios_ep_table;
 663     uint32_t addr = ep_table->structure_table_address;
 664     int i, len, max_len = 0;
 665     uint8_t type, prv, crt;
 666
 667     /* walk the smbios tables */
 668     for (i = 0; i < ep_table->number_of_structures; i++) {
 669
 670         /* grab type and formatted area length from struct header */
 671         type = readb(addr);
 672         g_assert_cmpuint(type, <=, SMBIOS_MAX_TYPE);
 673         len = readb(addr + 1);
 674
 675         /* single-instance structs must not have been encountered before */
 676         if (smbios_single_instance(type)) {
 677             g_assert(!test_bit(type, struct_bitmap));
 678         }
 679         set_bit(type, struct_bitmap);
 680
 681         /* seek to end of unformatted string area of this struct ("\0\0") */
 682         prv = crt = 1;
 683         while (prv || crt) {
 684             prv = crt;
 685             crt = readb(addr + len);
 686             len++;
 687         }
 688
 689         /* keep track of max. struct size */
 690         if (max_len < len) {
 691             max_len = len;
 692             g_assert_cmpuint(max_len, <=, ep_table->max_structure_size);
 693         }
 694
 695         /* start of next structure */
 696         addr += len;
 697     }
 698
 699     /* total table length and max struct size must match entry point values */
 700     g_assert_cmpuint(ep_table->structure_table_length, ==,
 701                      addr - ep_table->structure_table_address);
 702     g_assert_cmpuint(ep_table->max_structure_size, ==, max_len);
 703
 704     /* required struct types must all be present */
 705     for (i = 0; i < data->required_struct_types_len; i++) {
 706         g_assert(test_bit(data->required_struct_types[i], struct_bitmap));
 707     }
 708 }
 709
 710 static void test_acpi_one(const char *params, test_data *data)
 711 {
 712     char *args;
 713
 714     args = g_strdup_printf("-net none -display none %s "
 715                            "-drive id=hd0,if=none,file=%s,format=raw "
 716                            "-device ide-hd,drive=hd0 ",
 717                            params ? params : "", disk);
 718
 719     qtest_start(args);
 720
 721     boot_sector_test();
 722
 723     test_acpi_rsdp_address(data);
 724     test_acpi_rsdp_table(data);
 725     test_acpi_rsdt_table(data);
 726     test_acpi_fadt_table(data);
 727     test_acpi_facs_table(data);
 728     test_acpi_dsdt_table(data);
 729     test_acpi_tables(data);
 730
 731     if (iasl) {
 732         if (getenv(ACPI_REBUILD_EXPECTED_AML)) {
 733             dump_aml_files(data, true);
 734         } else {
 735             test_acpi_asl(data);
 736         }
 737     }
 738
 739     test_smbios_entry_point(data);
 740     test_smbios_structs(data);
 741
 742     qtest_quit(global_qtest);
 743     g_free(args);
 744 }
 745
 746 static uint8_t base_required_struct_types[] = {
 747     0, 1, 3, 4, 16, 17, 19, 32, 127
 748 };
 749
 750 static void test_acpi_piix4_tcg(void)
 751 {
 752     test_data data;
 753
 754     /* Supplying -machine accel argument overrides the default (qtest).
 755      * This is to make guest actually run.
 756      */
 757     memset(&data, 0, sizeof(data));
 758     data.machine = MACHINE_PC;
 759     data.required_struct_types = base_required_struct_types;
 760     data.required_struct_types_len = ARRAY_SIZE(base_required_struct_types);
 761     test_acpi_one("-machine accel=tcg", &data);
 762     free_test_data(&data);
 763 }
 764
 765 static void test_acpi_piix4_tcg_bridge(void)
 766 {
 767     test_data data;
 768
 769     memset(&data, 0, sizeof(data));
 770     data.machine = MACHINE_PC;
 771     data.variant = ".bridge";
 772     data.required_struct_types = base_required_struct_types;
 773     data.required_struct_types_len = ARRAY_SIZE(base_required_struct_types);
 774     test_acpi_one("-machine accel=tcg -device pci-bridge,chassis_nr=1", &data);
 775     free_test_data(&data);
 776 }
 777
 778 static void test_acpi_q35_tcg(void)
 779 {
 780     test_data data;
 781
 782     memset(&data, 0, sizeof(data));
 783     data.machine = MACHINE_Q35;
 784     data.required_struct_types = base_required_struct_types;
 785     data.required_struct_types_len = ARRAY_SIZE(base_required_struct_types);
 786     test_acpi_one("-machine q35,accel=tcg", &data);
 787     free_test_data(&data);
 788 }
 789
 790 static void test_acpi_q35_tcg_bridge(void)
 791 {
 792     test_data data;
 793
 794     memset(&data, 0, sizeof(data));
 795     data.machine = MACHINE_Q35;
 796     data.variant = ".bridge";
 797     data.required_struct_types = base_required_struct_types;
 798     data.required_struct_types_len = ARRAY_SIZE(base_required_struct_types);
 799     test_acpi_one("-machine q35,accel=tcg -device pci-bridge,chassis_nr=1",
 800                   &data);
 801     free_test_data(&data);
 802 }
 803
 804 static void test_acpi_piix4_tcg_cphp(void)
 805 {
 806     test_data data;
 807
 808     memset(&data, 0, sizeof(data));
 809     data.machine = MACHINE_PC;
 810     data.variant = ".cphp";
 811     test_acpi_one("-machine accel=tcg"
 812                   " -smp 2,cores=3,sockets=2,maxcpus=6",
 813                   &data);
 814     free_test_data(&data);
 815 }
 816
 817 static void test_acpi_q35_tcg_cphp(void)
 818 {
 819     test_data data;
 820
 821     memset(&data, 0, sizeof(data));
 822     data.machine = MACHINE_Q35;
 823     data.variant = ".cphp";
 824     test_acpi_one("-machine q35,accel=tcg"
 825                   " -smp 2,cores=3,sockets=2,maxcpus=6",
 826                   &data);
 827     free_test_data(&data);
 828 }
 829
 830 static uint8_t ipmi_required_struct_types[] = {
 831     0, 1, 3, 4, 16, 17, 19, 32, 38, 127
 832 };
 833
 834 static void test_acpi_q35_tcg_ipmi(void)
 835 {
 836     test_data data;
 837
 838     memset(&data, 0, sizeof(data));
 839     data.machine = MACHINE_Q35;
 840     data.variant = ".ipmibt";
 841     data.required_struct_types = ipmi_required_struct_types;
 842     data.required_struct_types_len = ARRAY_SIZE(ipmi_required_struct_types);
 843     test_acpi_one("-machine q35,accel=tcg -device ipmi-bmc-sim,id=bmc0"
 844                   " -device isa-ipmi-bt,bmc=bmc0",
 845                   &data);
 846     free_test_data(&data);
 847 }
 848
 849 static void test_acpi_piix4_tcg_ipmi(void)
 850 {
 851     test_data data;
 852
 853     /* Supplying -machine accel argument overrides the default (qtest).
 854      * This is to make guest actually run.
 855      */
 856     memset(&data, 0, sizeof(data));
 857     data.machine = MACHINE_PC;
 858     data.variant = ".ipmikcs";
 859     data.required_struct_types = ipmi_required_struct_types;
 860     data.required_struct_types_len = ARRAY_SIZE(ipmi_required_struct_types);
 861     test_acpi_one("-machine accel=tcg -device ipmi-bmc-sim,id=bmc0"
 862                   " -device isa-ipmi-kcs,irq=0,bmc=bmc0",
 863                   &data);
 864     free_test_data(&data);
 865 }
 866
 867 int main(int argc, char *argv[])
 868 {
 869     const char *arch = qtest_get_arch();
 870     int ret;
 871
 872     ret = boot_sector_init(disk);
 873     if(ret)
 874         return ret;
 875
 876     g_test_init(&argc, &argv, NULL);
 877
 878     if (strcmp(arch, "i386") == 0 || strcmp(arch, "x86_64") == 0) {
 879         qtest_add_func("acpi/piix4/tcg", test_acpi_piix4_tcg);
 880         qtest_add_func("acpi/piix4/tcg/bridge", test_acpi_piix4_tcg_bridge);
 881         qtest_add_func("acpi/q35/tcg", test_acpi_q35_tcg);
 882         qtest_add_func("acpi/q35/tcg/bridge", test_acpi_q35_tcg_bridge);
 883         qtest_add_func("acpi/piix4/tcg/ipmi", test_acpi_piix4_tcg_ipmi);
 884         qtest_add_func("acpi/q35/tcg/ipmi", test_acpi_q35_tcg_ipmi);
 885         qtest_add_func("acpi/piix4/tcg/cpuhp", test_acpi_piix4_tcg_cphp);
 886         qtest_add_func("acpi/q35/tcg/cpuhp", test_acpi_q35_tcg_cphp);
 887     }
 888     ret = g_test_run();
 889     boot_sector_cleanup(disk);
 890     return ret;
 891 }