/* This is necessary to prevent signal delivery starvation, when the result of the division would be rounded down to 0.  */
static cputime_t cputime_div_non_zero(cputime_t time, unsigned long div)
/* This is necessary to prevent signal delivery starvation, when the result of the division would be rounded down to 0.  */
static cputime_t cputime_div_non_zero(cputime_t time, unsigned long div)
{
	cputime_t res = cputime_div(time, div);
	return max_t(cputime_t, res, 1);
}