size_t alloc_num = (mcfg->length - sizeof(acpi_sdthdr_t) - 8) /
sizeof(struct acpi_mcfg_alloc);
struct acpi_mcfg_alloc* allocs =
size_t alloc_num = (mcfg->length - sizeof(acpi_sdthdr_t) - 8) /
sizeof(struct acpi_mcfg_alloc);
struct acpi_mcfg_alloc* allocs =