apic_set_reg64
apic_set_reg64(this_cpu_ptr(savic_page), APIC_ICR, icr_data);
apic_set_reg64(s->regs, APIC_ICR, icr);
apic_set_reg64(apic->regs, reg, val);