apic_get_reg64
return (u32)apic_get_reg64(ap, reg);
icr = apic_get_reg64(s->regs, APIC_ICR);
return apic_get_reg64(apic->regs, reg);