Lines Matching defs:table
35 /* if true, put the MP float table and ACPI RSDT in EBDA and the MP
36 table in RAM. Unfortunately, Linux has bugs with that, so we prefer
1065 /* Multi Processor table init */
1132 putle16(&q, 0); /* table length (patched later) */
1141 putle32(&q, 0); /* OEM table ptr */
1142 putle16(&q, 0); /* OEM table size */
1145 putle16(&q, 0); /* ext table length */
1146 putb(&q, 0); /* ext table checksum */
1227 /* pointer to MP config table */
1246 BX_INFO("MP table addr=0x%08lx MPC table addr=0x%08lx size=0x%x\n",
1255 /* Table structure from Linux kernel (the ACPI tables are under the
1263 #define ACPI_TABLE_HEADER_DEF /* ACPI common table header */ \
1265 uint32_t length; /* Length of table, in bytes, including header */\
1267 uint8_t checksum; /* To make sum of entire table == 0 */\
1269 table identification */\
1275 struct acpi_table_header /* ACPI common table header */
1289 uint8_t extended_checksum; /* Checksum of entire table */
1294 * ACPI 1.0 Root System Description Table (RSDT)
1298 ACPI_TABLE_HEADER_DEF /* ACPI common table header */
1324 * ACPI 1.0 Fixed ACPI Description Table (FADT)
1328 ACPI_TABLE_HEADER_DEF /* ACPI common table header */
1397 ACPI_TABLE_HEADER_DEF /* ACPI common table header */
1444 * SRAT (NUMA topology description) table
1493 * * HPET Description Table
1496 ACPI_TABLE_HEADER_DEF /* ACPI common table header */
1903 BX_PANIC("Failed to load ACPI table from QEMU\n");
1907 BX_PANIC("ACPI table overflow\n");
2085 /* SMBIOS type 127 -- End-of-table */
2478 /* Type 127 -- End of Table */
2512 struct smbios_table table;
2516 qemu_cfg_read((uint8_t *)&table, sizeof(struct smbios_header));
2517 table.header.length -= sizeof(struct smbios_header);
2519 if (table.header.type != SMBIOS_TABLE_ENTRY) {
2520 while (table.header.length--)
2526 table.header.length -= sizeof(struct smbios_structure_header);
2529 while (table.header.length--)
2539 string = header->length < table.header.length +
2543 qemu_cfg_read((uint8_t *)*p, table.header.length);
2544 *p += table.header.length;
2632 BX_INFO("SMBIOS table addr=0x%08lx\n", (unsigned long)start);