pc: Use PC_COMPAT_* for CPUID feature compatibility
[qemu/ar7.git] / tests / bios-tables-test.c
blob0de1742d7dfd28c3246c43916ac6cb94e6513707
1 /*
2 * Boot order test cases.
4 * Copyright (c) 2013 Red Hat Inc.
6 * Authors:
7 * Michael S. Tsirkin <mst@redhat.com>,
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.
13 #include <string.h>
14 #include <stdio.h>
15 #include <glib.h>
16 #include <glib/gstdio.h>
17 #include "qemu-common.h"
18 #include "libqtest.h"
19 #include "qemu/compiler.h"
20 #include "hw/acpi/acpi-defs.h"
21 #include "hw/i386/smbios.h"
22 #include "qemu/bitmap.h"
24 #define MACHINE_PC "pc"
25 #define MACHINE_Q35 "q35"
27 #define ACPI_REBUILD_EXPECTED_AML "TEST_ACPI_REBUILD_AML"
29 /* DSDT and SSDTs format */
30 typedef struct {
31 AcpiTableHeader header;
32 gchar *aml; /* aml bytecode from guest */
33 gsize aml_len;
34 gchar *aml_file;
35 gchar *asl; /* asl code generated from aml */
36 gsize asl_len;
37 gchar *asl_file;
38 bool tmp_files_retain; /* do not delete the temp asl/aml */
39 } QEMU_PACKED AcpiSdtTable;
41 typedef struct {
42 const char *machine;
43 const char *variant;
44 uint32_t rsdp_addr;
45 AcpiRsdpDescriptor rsdp_table;
46 AcpiRsdtDescriptorRev1 rsdt_table;
47 AcpiFadtDescriptorRev1 fadt_table;
48 AcpiFacsDescriptorRev1 facs_table;
49 uint32_t *rsdt_tables_addr;
50 int rsdt_tables_nr;
51 GArray *tables;
52 uint32_t smbios_ep_addr;
53 struct smbios_entry_point smbios_ep_table;
54 } test_data;
56 #define LOW(x) ((x) & 0xff)
57 #define HIGH(x) ((x) >> 8)
59 #define SIGNATURE 0xdead
60 #define SIGNATURE_OFFSET 0x10
61 #define BOOT_SECTOR_ADDRESS 0x7c00
63 #define ACPI_READ_FIELD(field, addr) \
64 do { \
65 switch (sizeof(field)) { \
66 case 1: \
67 field = readb(addr); \
68 break; \
69 case 2: \
70 field = readw(addr); \
71 break; \
72 case 4: \
73 field = readl(addr); \
74 break; \
75 case 8: \
76 field = readq(addr); \
77 break; \
78 default: \
79 g_assert(false); \
80 } \
81 addr += sizeof(field); \
82 } while (0);
84 #define ACPI_READ_ARRAY_PTR(arr, length, addr) \
85 do { \
86 int idx; \
87 for (idx = 0; idx < length; ++idx) { \
88 ACPI_READ_FIELD(arr[idx], addr); \
89 } \
90 } while (0);
92 #define ACPI_READ_ARRAY(arr, addr) \
93 ACPI_READ_ARRAY_PTR(arr, sizeof(arr)/sizeof(arr[0]), addr)
95 #define ACPI_READ_TABLE_HEADER(table, addr) \
96 do { \
97 ACPI_READ_FIELD((table)->signature, addr); \
98 ACPI_READ_FIELD((table)->length, addr); \
99 ACPI_READ_FIELD((table)->revision, addr); \
100 ACPI_READ_FIELD((table)->checksum, addr); \
101 ACPI_READ_ARRAY((table)->oem_id, addr); \
102 ACPI_READ_ARRAY((table)->oem_table_id, addr); \
103 ACPI_READ_FIELD((table)->oem_revision, addr); \
104 ACPI_READ_ARRAY((table)->asl_compiler_id, addr); \
105 ACPI_READ_FIELD((table)->asl_compiler_revision, addr); \
106 } while (0);
108 #define ACPI_ASSERT_CMP(actual, expected) do { \
109 uint32_t ACPI_ASSERT_CMP_le = cpu_to_le32(actual); \
110 char ACPI_ASSERT_CMP_str[5] = {}; \
111 memcpy(ACPI_ASSERT_CMP_str, &ACPI_ASSERT_CMP_le, 4); \
112 g_assert_cmpstr(ACPI_ASSERT_CMP_str, ==, expected); \
113 } while (0)
115 #define ACPI_ASSERT_CMP64(actual, expected) do { \
116 uint64_t ACPI_ASSERT_CMP_le = cpu_to_le64(actual); \
117 char ACPI_ASSERT_CMP_str[9] = {}; \
118 memcpy(ACPI_ASSERT_CMP_str, &ACPI_ASSERT_CMP_le, 8); \
119 g_assert_cmpstr(ACPI_ASSERT_CMP_str, ==, expected); \
120 } while (0)
122 /* Boot sector code: write SIGNATURE into memory,
123 * then halt.
124 * Q35 machine requires a minimum 0x7e000 bytes disk.
125 * (bug or feature?)
127 static uint8_t boot_sector[0x7e000] = {
128 /* 7c00: mov $0xdead,%ax */
129 [0x00] = 0xb8,
130 [0x01] = LOW(SIGNATURE),
131 [0x02] = HIGH(SIGNATURE),
132 /* 7c03: mov %ax,0x7c10 */
133 [0x03] = 0xa3,
134 [0x04] = LOW(BOOT_SECTOR_ADDRESS + SIGNATURE_OFFSET),
135 [0x05] = HIGH(BOOT_SECTOR_ADDRESS + SIGNATURE_OFFSET),
136 /* 7c06: cli */
137 [0x06] = 0xfa,
138 /* 7c07: hlt */
139 [0x07] = 0xf4,
140 /* 7c08: jmp 0x7c07=0x7c0a-3 */
141 [0x08] = 0xeb,
142 [0x09] = LOW(-3),
143 /* We mov 0xdead here: set value to make debugging easier */
144 [SIGNATURE_OFFSET] = LOW(0xface),
145 [SIGNATURE_OFFSET + 1] = HIGH(0xface),
146 /* End of boot sector marker */
147 [0x1FE] = 0x55,
148 [0x1FF] = 0xAA,
151 static const char *disk = "tests/acpi-test-disk.raw";
152 static const char *data_dir = "tests/acpi-test-data";
153 #ifdef CONFIG_IASL
154 static const char *iasl = stringify(CONFIG_IASL);
155 #else
156 static const char *iasl;
157 #endif
159 static void free_test_data(test_data *data)
161 AcpiSdtTable *temp;
162 int i;
164 if (data->rsdt_tables_addr) {
165 g_free(data->rsdt_tables_addr);
168 for (i = 0; i < data->tables->len; ++i) {
169 temp = &g_array_index(data->tables, AcpiSdtTable, i);
170 if (temp->aml) {
171 g_free(temp->aml);
173 if (temp->aml_file) {
174 if (!temp->tmp_files_retain &&
175 g_strstr_len(temp->aml_file, -1, "aml-")) {
176 unlink(temp->aml_file);
178 g_free(temp->aml_file);
180 if (temp->asl) {
181 g_free(temp->asl);
183 if (temp->asl_file) {
184 if (!temp->tmp_files_retain) {
185 unlink(temp->asl_file);
187 g_free(temp->asl_file);
191 g_array_free(data->tables, false);
194 static uint8_t acpi_checksum(const uint8_t *data, int len)
196 int i;
197 uint8_t sum = 0;
199 for (i = 0; i < len; i++) {
200 sum += data[i];
203 return sum;
206 static void test_acpi_rsdp_address(test_data *data)
208 uint32_t off;
210 /* OK, now find RSDP */
211 for (off = 0xf0000; off < 0x100000; off += 0x10) {
212 uint8_t sig[] = "RSD PTR ";
213 int i;
215 for (i = 0; i < sizeof sig - 1; ++i) {
216 sig[i] = readb(off + i);
219 if (!memcmp(sig, "RSD PTR ", sizeof sig)) {
220 break;
224 g_assert_cmphex(off, <, 0x100000);
225 data->rsdp_addr = off;
228 static void test_acpi_rsdp_table(test_data *data)
230 AcpiRsdpDescriptor *rsdp_table = &data->rsdp_table;
231 uint32_t addr = data->rsdp_addr;
233 ACPI_READ_FIELD(rsdp_table->signature, addr);
234 ACPI_ASSERT_CMP64(rsdp_table->signature, "RSD PTR ");
236 ACPI_READ_FIELD(rsdp_table->checksum, addr);
237 ACPI_READ_ARRAY(rsdp_table->oem_id, addr);
238 ACPI_READ_FIELD(rsdp_table->revision, addr);
239 ACPI_READ_FIELD(rsdp_table->rsdt_physical_address, addr);
240 ACPI_READ_FIELD(rsdp_table->length, addr);
242 /* rsdp checksum is not for the whole table, but for the first 20 bytes */
243 g_assert(!acpi_checksum((uint8_t *)rsdp_table, 20));
246 static void test_acpi_rsdt_table(test_data *data)
248 AcpiRsdtDescriptorRev1 *rsdt_table = &data->rsdt_table;
249 uint32_t addr = data->rsdp_table.rsdt_physical_address;
250 uint32_t *tables;
251 int tables_nr;
252 uint8_t checksum;
254 /* read the header */
255 ACPI_READ_TABLE_HEADER(rsdt_table, addr);
256 ACPI_ASSERT_CMP(rsdt_table->signature, "RSDT");
258 /* compute the table entries in rsdt */
259 tables_nr = (rsdt_table->length - sizeof(AcpiRsdtDescriptorRev1)) /
260 sizeof(uint32_t);
261 g_assert_cmpint(tables_nr, >, 0);
263 /* get the addresses of the tables pointed by rsdt */
264 tables = g_new0(uint32_t, tables_nr);
265 ACPI_READ_ARRAY_PTR(tables, tables_nr, addr);
267 checksum = acpi_checksum((uint8_t *)rsdt_table, rsdt_table->length) +
268 acpi_checksum((uint8_t *)tables, tables_nr * sizeof(uint32_t));
269 g_assert(!checksum);
271 /* SSDT tables after FADT */
272 data->rsdt_tables_addr = tables;
273 data->rsdt_tables_nr = tables_nr;
276 static void test_acpi_fadt_table(test_data *data)
278 AcpiFadtDescriptorRev1 *fadt_table = &data->fadt_table;
279 uint32_t addr;
281 /* FADT table comes first */
282 addr = data->rsdt_tables_addr[0];
283 ACPI_READ_TABLE_HEADER(fadt_table, addr);
285 ACPI_READ_FIELD(fadt_table->firmware_ctrl, addr);
286 ACPI_READ_FIELD(fadt_table->dsdt, addr);
287 ACPI_READ_FIELD(fadt_table->model, addr);
288 ACPI_READ_FIELD(fadt_table->reserved1, addr);
289 ACPI_READ_FIELD(fadt_table->sci_int, addr);
290 ACPI_READ_FIELD(fadt_table->smi_cmd, addr);
291 ACPI_READ_FIELD(fadt_table->acpi_enable, addr);
292 ACPI_READ_FIELD(fadt_table->acpi_disable, addr);
293 ACPI_READ_FIELD(fadt_table->S4bios_req, addr);
294 ACPI_READ_FIELD(fadt_table->reserved2, addr);
295 ACPI_READ_FIELD(fadt_table->pm1a_evt_blk, addr);
296 ACPI_READ_FIELD(fadt_table->pm1b_evt_blk, addr);
297 ACPI_READ_FIELD(fadt_table->pm1a_cnt_blk, addr);
298 ACPI_READ_FIELD(fadt_table->pm1b_cnt_blk, addr);
299 ACPI_READ_FIELD(fadt_table->pm2_cnt_blk, addr);
300 ACPI_READ_FIELD(fadt_table->pm_tmr_blk, addr);
301 ACPI_READ_FIELD(fadt_table->gpe0_blk, addr);
302 ACPI_READ_FIELD(fadt_table->gpe1_blk, addr);
303 ACPI_READ_FIELD(fadt_table->pm1_evt_len, addr);
304 ACPI_READ_FIELD(fadt_table->pm1_cnt_len, addr);
305 ACPI_READ_FIELD(fadt_table->pm2_cnt_len, addr);
306 ACPI_READ_FIELD(fadt_table->pm_tmr_len, addr);
307 ACPI_READ_FIELD(fadt_table->gpe0_blk_len, addr);
308 ACPI_READ_FIELD(fadt_table->gpe1_blk_len, addr);
309 ACPI_READ_FIELD(fadt_table->gpe1_base, addr);
310 ACPI_READ_FIELD(fadt_table->reserved3, addr);
311 ACPI_READ_FIELD(fadt_table->plvl2_lat, addr);
312 ACPI_READ_FIELD(fadt_table->plvl3_lat, addr);
313 ACPI_READ_FIELD(fadt_table->flush_size, addr);
314 ACPI_READ_FIELD(fadt_table->flush_stride, addr);
315 ACPI_READ_FIELD(fadt_table->duty_offset, addr);
316 ACPI_READ_FIELD(fadt_table->duty_width, addr);
317 ACPI_READ_FIELD(fadt_table->day_alrm, addr);
318 ACPI_READ_FIELD(fadt_table->mon_alrm, addr);
319 ACPI_READ_FIELD(fadt_table->century, addr);
320 ACPI_READ_FIELD(fadt_table->reserved4, addr);
321 ACPI_READ_FIELD(fadt_table->reserved4a, addr);
322 ACPI_READ_FIELD(fadt_table->reserved4b, addr);
323 ACPI_READ_FIELD(fadt_table->flags, addr);
325 ACPI_ASSERT_CMP(fadt_table->signature, "FACP");
326 g_assert(!acpi_checksum((uint8_t *)fadt_table, fadt_table->length));
329 static void test_acpi_facs_table(test_data *data)
331 AcpiFacsDescriptorRev1 *facs_table = &data->facs_table;
332 uint32_t addr = data->fadt_table.firmware_ctrl;
334 ACPI_READ_FIELD(facs_table->signature, addr);
335 ACPI_READ_FIELD(facs_table->length, addr);
336 ACPI_READ_FIELD(facs_table->hardware_signature, addr);
337 ACPI_READ_FIELD(facs_table->firmware_waking_vector, addr);
338 ACPI_READ_FIELD(facs_table->global_lock, addr);
339 ACPI_READ_FIELD(facs_table->flags, addr);
340 ACPI_READ_ARRAY(facs_table->resverved3, addr);
342 ACPI_ASSERT_CMP(facs_table->signature, "FACS");
345 static void test_dst_table(AcpiSdtTable *sdt_table, uint32_t addr)
347 uint8_t checksum;
349 ACPI_READ_TABLE_HEADER(&sdt_table->header, addr);
351 sdt_table->aml_len = sdt_table->header.length - sizeof(AcpiTableHeader);
352 sdt_table->aml = g_malloc0(sdt_table->aml_len);
353 ACPI_READ_ARRAY_PTR(sdt_table->aml, sdt_table->aml_len, addr);
355 checksum = acpi_checksum((uint8_t *)sdt_table, sizeof(AcpiTableHeader)) +
356 acpi_checksum((uint8_t *)sdt_table->aml, sdt_table->aml_len);
357 g_assert(!checksum);
360 static void test_acpi_dsdt_table(test_data *data)
362 AcpiSdtTable dsdt_table;
363 uint32_t addr = data->fadt_table.dsdt;
365 memset(&dsdt_table, 0, sizeof(dsdt_table));
366 data->tables = g_array_new(false, true, sizeof(AcpiSdtTable));
368 test_dst_table(&dsdt_table, addr);
369 ACPI_ASSERT_CMP(dsdt_table.header.signature, "DSDT");
371 /* Place DSDT first */
372 g_array_append_val(data->tables, dsdt_table);
375 static void test_acpi_tables(test_data *data)
377 int tables_nr = data->rsdt_tables_nr - 1; /* fadt is first */
378 int i;
380 for (i = 0; i < tables_nr; i++) {
381 AcpiSdtTable ssdt_table;
383 memset(&ssdt_table, 0 , sizeof(ssdt_table));
384 uint32_t addr = data->rsdt_tables_addr[i + 1]; /* fadt is first */
385 test_dst_table(&ssdt_table, addr);
386 g_array_append_val(data->tables, ssdt_table);
390 static void dump_aml_files(test_data *data, bool rebuild)
392 AcpiSdtTable *sdt;
393 GError *error = NULL;
394 gchar *aml_file = NULL;
395 gint fd;
396 ssize_t ret;
397 int i;
399 for (i = 0; i < data->tables->len; ++i) {
400 const char *ext = data->variant ? data->variant : "";
401 sdt = &g_array_index(data->tables, AcpiSdtTable, i);
402 g_assert(sdt->aml);
404 if (rebuild) {
405 uint32_t signature = cpu_to_le32(sdt->header.signature);
406 aml_file = g_strdup_printf("%s/%s/%.4s%s", data_dir, data->machine,
407 (gchar *)&signature, ext);
408 fd = g_open(aml_file, O_WRONLY|O_TRUNC|O_CREAT,
409 S_IRUSR|S_IWUSR|S_IRGRP|S_IWGRP|S_IROTH);
410 } else {
411 fd = g_file_open_tmp("aml-XXXXXX", &sdt->aml_file, &error);
412 g_assert_no_error(error);
414 g_assert(fd >= 0);
416 ret = qemu_write_full(fd, sdt, sizeof(AcpiTableHeader));
417 g_assert(ret == sizeof(AcpiTableHeader));
418 ret = qemu_write_full(fd, sdt->aml, sdt->aml_len);
419 g_assert(ret == sdt->aml_len);
421 close(fd);
423 if (aml_file) {
424 g_free(aml_file);
429 static bool compare_signature(AcpiSdtTable *sdt, const char *signature)
431 return !memcmp(&sdt->header.signature, signature, 4);
434 static bool load_asl(GArray *sdts, AcpiSdtTable *sdt)
436 AcpiSdtTable *temp;
437 GError *error = NULL;
438 GString *command_line = g_string_new(iasl);
439 gint fd;
440 gchar *out, *out_err;
441 gboolean ret;
442 int i;
444 fd = g_file_open_tmp("asl-XXXXXX.dsl", &sdt->asl_file, &error);
445 g_assert_no_error(error);
446 close(fd);
448 /* build command line */
449 g_string_append_printf(command_line, " -p %s ", sdt->asl_file);
450 if (compare_signature(sdt, "DSDT") ||
451 compare_signature(sdt, "SSDT")) {
452 for (i = 0; i < sdts->len; ++i) {
453 temp = &g_array_index(sdts, AcpiSdtTable, i);
454 if (compare_signature(temp, "DSDT") ||
455 compare_signature(temp, "SSDT")) {
456 g_string_append_printf(command_line, "-e %s ", temp->aml_file);
460 g_string_append_printf(command_line, "-d %s", sdt->aml_file);
462 /* pass 'out' and 'out_err' in order to be redirected */
463 ret = g_spawn_command_line_sync(command_line->str, &out, &out_err, NULL, &error);
464 g_assert_no_error(error);
465 if (ret) {
466 ret = g_file_get_contents(sdt->asl_file, (gchar **)&sdt->asl,
467 &sdt->asl_len, &error);
468 g_assert(ret);
469 g_assert_no_error(error);
470 ret = (sdt->asl_len > 0);
473 g_free(out);
474 g_free(out_err);
475 g_string_free(command_line, true);
477 return !ret;
480 #define COMMENT_END "*/"
481 #define DEF_BLOCK "DefinitionBlock ("
482 #define BLOCK_NAME_END ".aml"
484 static GString *normalize_asl(gchar *asl_code)
486 GString *asl = g_string_new(asl_code);
487 gchar *comment, *block_name;
489 /* strip comments (different generation days) */
490 comment = g_strstr_len(asl->str, asl->len, COMMENT_END);
491 if (comment) {
492 comment += strlen(COMMENT_END);
493 while (*comment == '\n') {
494 comment++;
496 asl = g_string_erase(asl, 0, comment - asl->str);
499 /* strip def block name (it has file path in it) */
500 if (g_str_has_prefix(asl->str, DEF_BLOCK)) {
501 block_name = g_strstr_len(asl->str, asl->len, BLOCK_NAME_END);
502 g_assert(block_name);
503 asl = g_string_erase(asl, 0,
504 block_name + sizeof(BLOCK_NAME_END) - asl->str);
507 return asl;
510 static GArray *load_expected_aml(test_data *data)
512 int i;
513 AcpiSdtTable *sdt;
514 gchar *aml_file = NULL;
515 GError *error = NULL;
516 gboolean ret;
518 GArray *exp_tables = g_array_new(false, true, sizeof(AcpiSdtTable));
519 for (i = 0; i < data->tables->len; ++i) {
520 AcpiSdtTable exp_sdt;
521 uint32_t signature;
522 const char *ext = data->variant ? data->variant : "";
524 sdt = &g_array_index(data->tables, AcpiSdtTable, i);
526 memset(&exp_sdt, 0, sizeof(exp_sdt));
527 exp_sdt.header.signature = sdt->header.signature;
529 signature = cpu_to_le32(sdt->header.signature);
531 try_again:
532 aml_file = g_strdup_printf("%s/%s/%.4s%s", data_dir, data->machine,
533 (gchar *)&signature, ext);
534 if (data->variant && !g_file_test(aml_file, G_FILE_TEST_EXISTS)) {
535 g_free(aml_file);
536 ext = "";
537 goto try_again;
539 exp_sdt.aml_file = aml_file;
540 g_assert(g_file_test(aml_file, G_FILE_TEST_EXISTS));
541 ret = g_file_get_contents(aml_file, &exp_sdt.aml,
542 &exp_sdt.aml_len, &error);
543 g_assert(ret);
544 g_assert_no_error(error);
545 g_assert(exp_sdt.aml);
546 g_assert(exp_sdt.aml_len);
548 g_array_append_val(exp_tables, exp_sdt);
551 return exp_tables;
554 static void test_acpi_asl(test_data *data)
556 int i;
557 AcpiSdtTable *sdt, *exp_sdt;
558 test_data exp_data;
559 gboolean exp_err, err;
561 memset(&exp_data, 0, sizeof(exp_data));
562 exp_data.tables = load_expected_aml(data);
563 dump_aml_files(data, false);
564 for (i = 0; i < data->tables->len; ++i) {
565 GString *asl, *exp_asl;
567 sdt = &g_array_index(data->tables, AcpiSdtTable, i);
568 exp_sdt = &g_array_index(exp_data.tables, AcpiSdtTable, i);
570 err = load_asl(data->tables, sdt);
571 asl = normalize_asl(sdt->asl);
573 exp_err = load_asl(exp_data.tables, exp_sdt);
574 exp_asl = normalize_asl(exp_sdt->asl);
576 /* TODO: check for warnings */
577 g_assert(!err || exp_err);
579 if (g_strcmp0(asl->str, exp_asl->str)) {
580 if (exp_err) {
581 fprintf(stderr,
582 "Warning! iasl couldn't parse the expected aml\n");
583 } else {
584 uint32_t signature = cpu_to_le32(exp_sdt->header.signature);
585 sdt->tmp_files_retain = true;
586 exp_sdt->tmp_files_retain = true;
587 fprintf(stderr,
588 "acpi-test: Warning! %.4s mismatch. "
589 "Actual [asl:%s, aml:%s], Expected [asl:%s, aml:%s].\n",
590 (gchar *)&signature,
591 sdt->asl_file, sdt->aml_file,
592 exp_sdt->asl_file, exp_sdt->aml_file);
595 g_string_free(asl, true);
596 g_string_free(exp_asl, true);
599 free_test_data(&exp_data);
602 static bool smbios_ep_table_ok(test_data *data)
604 struct smbios_entry_point *ep_table = &data->smbios_ep_table;
605 uint32_t addr = data->smbios_ep_addr;
607 ACPI_READ_ARRAY(ep_table->anchor_string, addr);
608 if (memcmp(ep_table->anchor_string, "_SM_", 4)) {
609 return false;
611 ACPI_READ_FIELD(ep_table->checksum, addr);
612 ACPI_READ_FIELD(ep_table->length, addr);
613 ACPI_READ_FIELD(ep_table->smbios_major_version, addr);
614 ACPI_READ_FIELD(ep_table->smbios_minor_version, addr);
615 ACPI_READ_FIELD(ep_table->max_structure_size, addr);
616 ACPI_READ_FIELD(ep_table->entry_point_revision, addr);
617 ACPI_READ_ARRAY(ep_table->formatted_area, addr);
618 ACPI_READ_ARRAY(ep_table->intermediate_anchor_string, addr);
619 if (memcmp(ep_table->intermediate_anchor_string, "_DMI_", 5)) {
620 return false;
622 ACPI_READ_FIELD(ep_table->intermediate_checksum, addr);
623 ACPI_READ_FIELD(ep_table->structure_table_length, addr);
624 if (ep_table->structure_table_length == 0) {
625 return false;
627 ACPI_READ_FIELD(ep_table->structure_table_address, addr);
628 ACPI_READ_FIELD(ep_table->number_of_structures, addr);
629 if (ep_table->number_of_structures == 0) {
630 return false;
632 ACPI_READ_FIELD(ep_table->smbios_bcd_revision, addr);
633 if (acpi_checksum((uint8_t *)ep_table, sizeof *ep_table) ||
634 acpi_checksum((uint8_t *)ep_table + 0x10, sizeof *ep_table - 0x10)) {
635 return false;
637 return true;
640 static void test_smbios_entry_point(test_data *data)
642 uint32_t off;
644 /* find smbios entry point structure */
645 for (off = 0xf0000; off < 0x100000; off += 0x10) {
646 uint8_t sig[] = "_SM_";
647 int i;
649 for (i = 0; i < sizeof sig - 1; ++i) {
650 sig[i] = readb(off + i);
653 if (!memcmp(sig, "_SM_", sizeof sig)) {
654 /* signature match, but is this a valid entry point? */
655 data->smbios_ep_addr = off;
656 if (smbios_ep_table_ok(data)) {
657 break;
662 g_assert_cmphex(off, <, 0x100000);
665 static inline bool smbios_single_instance(uint8_t type)
667 switch (type) {
668 case 0:
669 case 1:
670 case 2:
671 case 3:
672 case 16:
673 case 32:
674 case 127:
675 return true;
676 default:
677 return false;
681 static void test_smbios_structs(test_data *data)
683 DECLARE_BITMAP(struct_bitmap, SMBIOS_MAX_TYPE+1) = { 0 };
684 struct smbios_entry_point *ep_table = &data->smbios_ep_table;
685 uint32_t addr = ep_table->structure_table_address;
686 int i, len, max_len = 0;
687 uint8_t type, prv, crt;
688 uint8_t required_struct_types[] = {0, 1, 3, 4, 16, 17, 19, 32, 127};
690 /* walk the smbios tables */
691 for (i = 0; i < ep_table->number_of_structures; i++) {
693 /* grab type and formatted area length from struct header */
694 type = readb(addr);
695 g_assert_cmpuint(type, <=, SMBIOS_MAX_TYPE);
696 len = readb(addr + 1);
698 /* single-instance structs must not have been encountered before */
699 if (smbios_single_instance(type)) {
700 g_assert(!test_bit(type, struct_bitmap));
702 set_bit(type, struct_bitmap);
704 /* seek to end of unformatted string area of this struct ("\0\0") */
705 prv = crt = 1;
706 while (prv || crt) {
707 prv = crt;
708 crt = readb(addr + len);
709 len++;
712 /* keep track of max. struct size */
713 if (max_len < len) {
714 max_len = len;
715 g_assert_cmpuint(max_len, <=, ep_table->max_structure_size);
718 /* start of next structure */
719 addr += len;
722 /* total table length and max struct size must match entry point values */
723 g_assert_cmpuint(ep_table->structure_table_length, ==,
724 addr - ep_table->structure_table_address);
725 g_assert_cmpuint(ep_table->max_structure_size, ==, max_len);
727 /* required struct types must all be present */
728 for (i = 0; i < ARRAY_SIZE(required_struct_types); i++) {
729 g_assert(test_bit(required_struct_types[i], struct_bitmap));
733 static void test_acpi_one(const char *params, test_data *data)
735 char *args;
736 uint8_t signature_low;
737 uint8_t signature_high;
738 uint16_t signature;
739 int i;
741 args = g_strdup_printf("-net none -display none %s "
742 "-drive id=hd0,if=none,file=%s,format=raw "
743 "-device ide-hd,drive=hd0 ",
744 params ? params : "", disk);
746 qtest_start(args);
748 /* Wait at most 1 minute */
749 #define TEST_DELAY (1 * G_USEC_PER_SEC / 10)
750 #define TEST_CYCLES MAX((60 * G_USEC_PER_SEC / TEST_DELAY), 1)
752 /* Poll until code has run and modified memory. Once it has we know BIOS
753 * initialization is done. TODO: check that IP reached the halt
754 * instruction.
756 for (i = 0; i < TEST_CYCLES; ++i) {
757 signature_low = readb(BOOT_SECTOR_ADDRESS + SIGNATURE_OFFSET);
758 signature_high = readb(BOOT_SECTOR_ADDRESS + SIGNATURE_OFFSET + 1);
759 signature = (signature_high << 8) | signature_low;
760 if (signature == SIGNATURE) {
761 break;
763 g_usleep(TEST_DELAY);
765 g_assert_cmphex(signature, ==, SIGNATURE);
767 test_acpi_rsdp_address(data);
768 test_acpi_rsdp_table(data);
769 test_acpi_rsdt_table(data);
770 test_acpi_fadt_table(data);
771 test_acpi_facs_table(data);
772 test_acpi_dsdt_table(data);
773 test_acpi_tables(data);
775 if (iasl) {
776 if (getenv(ACPI_REBUILD_EXPECTED_AML)) {
777 dump_aml_files(data, true);
778 } else {
779 test_acpi_asl(data);
783 test_smbios_entry_point(data);
784 test_smbios_structs(data);
786 qtest_quit(global_qtest);
787 g_free(args);
790 static void test_acpi_piix4_tcg(void)
792 test_data data;
794 /* Supplying -machine accel argument overrides the default (qtest).
795 * This is to make guest actually run.
797 memset(&data, 0, sizeof(data));
798 data.machine = MACHINE_PC;
799 test_acpi_one("-machine accel=tcg", &data);
800 free_test_data(&data);
803 static void test_acpi_piix4_tcg_bridge(void)
805 test_data data;
807 memset(&data, 0, sizeof(data));
808 data.machine = MACHINE_PC;
809 data.variant = ".bridge";
810 test_acpi_one("-machine accel=tcg -device pci-bridge,chassis_nr=1", &data);
811 free_test_data(&data);
814 static void test_acpi_q35_tcg(void)
816 test_data data;
818 memset(&data, 0, sizeof(data));
819 data.machine = MACHINE_Q35;
820 test_acpi_one("-machine q35,accel=tcg", &data);
821 free_test_data(&data);
824 static void test_acpi_q35_tcg_bridge(void)
826 test_data data;
828 memset(&data, 0, sizeof(data));
829 data.machine = MACHINE_Q35;
830 data.variant = ".bridge";
831 test_acpi_one("-machine q35,accel=tcg -device pci-bridge,chassis_nr=1",
832 &data);
833 free_test_data(&data);
836 int main(int argc, char *argv[])
838 const char *arch = qtest_get_arch();
839 FILE *f = fopen(disk, "w");
840 int ret;
842 if (!f) {
843 fprintf(stderr, "Couldn't open \"%s\": %s", disk, strerror(errno));
844 return 1;
846 fwrite(boot_sector, 1, sizeof boot_sector, f);
847 fclose(f);
849 g_test_init(&argc, &argv, NULL);
851 if (strcmp(arch, "i386") == 0 || strcmp(arch, "x86_64") == 0) {
852 qtest_add_func("acpi/piix4/tcg", test_acpi_piix4_tcg);
853 qtest_add_func("acpi/piix4/tcg/bridge", test_acpi_piix4_tcg_bridge);
854 qtest_add_func("acpi/q35/tcg", test_acpi_q35_tcg);
855 qtest_add_func("acpi/q35/tcg/bridge", test_acpi_q35_tcg_bridge);
857 ret = g_test_run();
858 unlink(disk);
859 return ret;