apic_get_reg
return apic_get_reg(ap, reg);
return apic_get_reg(ap, reg);
return apic_get_reg(ap, reg);
icr = apic_get_reg(s->regs, APIC_ICR) |
(u64)apic_get_reg(s->regs, APIC_ICR2) << 32;
return apic_get_reg(apic->regs, reg_off);