DECREMENTER_DEFAULT_MAX
if (decrementer_max <= DECREMENTER_DEFAULT_MAX)
u64 decrementer_max = DECREMENTER_DEFAULT_MAX;