/* set_dec() - Set the value of the decrementer register @val: The value of the decrementer register to be set  */
static void set_dec(unsigned long val)
/* set_dec() - Set the value of the decrementer register @val: The value of the decrementer register to be set  */
static void set_dec(unsigned long val)
{
	if (val)
		asm volatile ("mtdec %0"::"r" (val));
}