xapic_write_reg
xapic_write_reg(APIC_SPIV, val);
xapic_write_reg(reg, val);
xapic_write_reg(APIC_EOI, 0);
xapic_write_reg(APIC_LVTCMCI, CMCI_VECTOR | APIC_DM_FIXED);
xapic_write_reg(APIC_EOI, 0);
xapic_write_reg(APIC_ID, 1 << 24);
xapic_write_reg(APIC_ID, 1 << 24);
xapic_write_reg(APIC_ICR, APIC_DEST_SELF | APIC_DM_FIXED | GOOD_IPI_VECTOR);
xapic_write_reg(APIC_ICR2, 0xdeadbeefu);
xapic_write_reg(APIC_ICR, APIC_DEST_SELF | APIC_DM_FIXED | BAD_IPI_VECTOR);
xapic_write_reg(APIC_ICR, APIC_DEST_SELF | APIC_DM_FIXED | GOOD_IPI_VECTOR);
xapic_write_reg(APIC_EOI, 77);
xapic_write_reg(APIC_ICR2, icr2_val);
xapic_write_reg(APIC_ICR, icr_val);
xapic_write_reg(APIC_ICR2, val >> 32);
xapic_write_reg(APIC_ICR, val);
xapic_write_reg(APIC_EOI, 0);
xapic_write_reg(APIC_ICR2, icr2);
xapic_write_reg(APIC_ICR, icr);