drafted LAPIC timer API