kvm_lapic_set_reg64
kvm_lapic_set_reg64(apic, APIC_ICR, data);
kvm_lapic_set_reg64(apic, APIC_ICR, 0);