toc->madt.irq_exception =
(acpi_intso_t**)vcalloc(24, sizeof(acpi_intso_t*));
size_t so_idx = 0;
while (ics_start < ics_end) {
toc->madt.irq_exception =
(acpi_intso_t**)vcalloc(24, sizeof(acpi_intso_t*));
size_t so_idx = 0;
while (ics_start < ics_end) {