[PATCH] tip: Fix code styling issues in kernel/timer.c and kernel/time/*

From: Rafael Fernandez
Date: Sun Mar 20 2011 - 19:30:47 EST


Fixed code styling issues as reported by checkpatch.pl.

Rafael