diff options
| -rw-r--r-- | src/arch/x86/acpi.c | 4 | ||||
| -rw-r--r-- | src/arch/x86/acpigen.c | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/arch/x86/acpi.c b/src/arch/x86/acpi.c index edb6835dc8..53c41359d6 100644 --- a/src/arch/x86/acpi.c +++ b/src/arch/x86/acpi.c @@ -870,7 +870,7 @@ unsigned long write_acpi_tables(unsigned long start) } if (dsdt_file->length > dsdt_size - || dsdt_file->length < sizeof (acpi_header_t) + || dsdt_file->length < sizeof(acpi_header_t) || memcmp(dsdt_file->signature, "DSDT", 4) != 0) { printk(BIOS_ERR, "Invalid DSDT file, skipping ACPI tables\n"); return current; @@ -880,7 +880,7 @@ unsigned long write_acpi_tables(unsigned long start) CBFS_TYPE_RAW, &slic_size); if (slic_file && (slic_file->length > slic_size - || slic_file->length < sizeof (acpi_header_t) + || slic_file->length < sizeof(acpi_header_t) || memcmp(slic_file->signature, "SLIC", 4) != 0)) { slic_file = 0; } diff --git a/src/arch/x86/acpigen.c b/src/arch/x86/acpigen.c index 2d626ab93f..00f8bd01d9 100644 --- a/src/arch/x86/acpigen.c +++ b/src/arch/x86/acpigen.c @@ -348,7 +348,7 @@ void acpigen_write_processor(u8 cpuindex, u32 pblock_addr, u8 pblock_len) acpigen_emit_byte(0x83); acpigen_write_len_f(); - snprintf(pscope, sizeof (pscope), + snprintf(pscope, sizeof(pscope), "\\_PR.CP%02d", (unsigned int) cpuindex); acpigen_emit_namestring(pscope); acpigen_emit_byte(cpuindex); |