LAPIC_OFF_TIMER_CCR
start = read_vlapic(LAPIC_OFF_TIMER_CCR);
end = read_vlapic(LAPIC_OFF_TIMER_CCR);