const PIT_TICK_PERIOD_FEMTOS: u64 = 838095345;