APIC_CURR_COUNT
start_apic_tick = apic_reg_ops->apic_read(APIC_CURR_COUNT);
end_apic_tick = apic_reg_ops->apic_read(APIC_CURR_COUNT);
start_apic_tick = apic_reg_ops->apic_read(APIC_CURR_COUNT);
end_apic_tick = apic_reg_ops->apic_read(APIC_CURR_COUNT);
countval = apic_reg_ops->apic_read(APIC_CURR_COUNT);
count_val = apic_reg_ops->apic_read(APIC_CURR_COUNT);
#define CURR_COUNT_OFFSET (sizeof (int32_t) * APIC_CURR_COUNT)
apic_ticks = APIC_MAXVAL - xpv_apicadr[APIC_CURR_COUNT];