APIC_ICR2
apic_write(APIC_ICR2, SET_XAPIC_DEST_FIELD(id));
icr2 = apic_read(APIC_ICR2);
native_apic_mem_write(APIC_ICR2, __prepare_ICR2(dest_mask));
APIC_REG_MASK(APIC_ICR2);
kvm_apic_send_ipi(apic, val, kvm_lapic_get_reg(apic, APIC_ICR2));
case APIC_ICR2:
kvm_lapic_set_reg(apic, APIC_ICR2, val & 0xff000000);
kvm_lapic_set_reg(apic, APIC_ICR2, data >> 32);
(u64)kvm_lapic_get_reg(apic, APIC_ICR2) << 32;
kvm_lapic_set_reg(apic, APIC_ICR2, 0);
(u64)apic_get_reg(s->regs, APIC_ICR2) << 32;
apic_set_reg(s->regs, APIC_ICR2, icr >> 32);
X2APIC_MSR(APIC_ICR2),
xapic_write_reg(APIC_ICR2, 0xdeadbeefu);
xapic_write_reg(APIC_ICR2, icr2_val);
xapic_write_reg(APIC_ICR2, val >> 32);
(u64)(*((u32 *)&xapic.regs[APIC_ICR2])) << 32;
xapic_write_reg(APIC_ICR2, icr2);