Machine support files are now expected to provide a sys_timer
structure which encapsulates everything to do with the kernels
system timer, and provides elegant with the system device model.
In addition, it provides the relevant power management hooks.

Patch from Nicolas Pitre

Missing prototype.

Signed-off-by: Deepak Saxena <dsaxena@plexity.net>

This only populates the linux/arch/arm/mach-pxa directory.