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