APIC_INTR_COMMAND_1
config = (apic_read(APIC_INTR_COMMAND_1) & 0xfff00000)
apic_write(APIC_INTR_COMMAND_1, config);
while ((apic_read(APIC_INTR_COMMAND_1) & APIC_DELIVERY_STATUS) != 0)
config = (apic_read(APIC_INTR_COMMAND_1) & 0xfff00000)
apic_write(APIC_INTR_COMMAND_1, config);
while ((apic_read(APIC_INTR_COMMAND_1) & APIC_DELIVERY_STATUS) != 0)
config = (apic_read(APIC_INTR_COMMAND_1) & 0xfff0f800)
apic_write(APIC_INTR_COMMAND_1, config);
while ((apic_read(APIC_INTR_COMMAND_1) & APIC_DELIVERY_STATUS) != 0)
apic_write(APIC_INTR_COMMAND_1, command1);
return (apic_read(APIC_INTR_COMMAND_1) & APIC_DELIVERY_STATUS) == 0;
apic_write(APIC_INTR_COMMAND_1, command1);
return (apic_read(APIC_INTR_COMMAND_1) & APIC_DELIVERY_STATUS) == 0;