APIC_MAXVAL
apic_reg_ops->apic_write(APIC_INIT_COUNT, APIC_MAXVAL);
apic_reg_ops->apic_write(APIC_INIT_COUNT, APIC_MAXVAL);
apic_nsec_max = APIC_TICKS_TO_NSECS(APIC_MAXVAL);
ticks = APIC_MAXVAL;
apic_reg_ops->apic_write(APIC_INIT_COUNT, APIC_MAXVAL);
xpv_apicadr[APIC_INIT_COUNT] = APIC_MAXVAL;
apic_ticks = APIC_MAXVAL - xpv_apicadr[APIC_CURR_COUNT];