4.12 64-bit Periodic Interval Timer (PIT64B)