acpi_mcfg_allocation
acpi_mcfg_allocation *end = (acpi_mcfg_allocation *) ((char*)mcfg + mcfg->header.length);
acpi_mcfg_allocation *alloc = (acpi_mcfg_allocation *) (mcfg + 1);