acpi_SetDefaultIntrModel
acpi_SetDefaultIntrModel(ACPI_INTR_APIC);
void acpi_SetDefaultIntrModel(int model);