Constant RT_BUDGET_PERIOD_TICKS 

const RT_BUDGET_PERIOD_TICKS: u64 = 500;

RT budget period in ticks.

After this many ticks the budget resets. Must be >= RT_BUDGET_TICKS. At TIMER_HZ=100: 500 ticks = 5 seconds.