4.10 64-bit Periodic Interval Timer (PIT64B)