APIC_INT_CMD1
wrmsr((REG_X2APIC_BASE_MSR + (APIC_INT_CMD1 >> 2)),
while (local_apic_regs_ops.apic_read(APIC_INT_CMD1) & AV_PENDING)
apic_reg_ops->apic_write(APIC_INT_CMD1,
apic_reg_ops->apic_write(APIC_INT_CMD1,
apic_reg_ops->apic_read(APIC_INT_CMD1) & AV_PENDING)
while ((status = apic_reg_ops->apic_read(APIC_INT_CMD1))
apicadr[APIC_INT_CMD1] = cmd1;
while (apic_reg_ops->apic_read(APIC_INT_CMD1) & AV_PENDING) \