Bug fix in the SP804 dual timer driver
Bug fix in the SP804 dual timer driver

The generic delay timer driver expects a pointer to a timer_ops_t
structure containing the specific timer driver information. It
doesn't make a copy of the structure, instead it just keeps the
pointer. Therefore, this pointer must remain valid over time.

The SP804 driver doesn't satisfy this requirement. The
sp804_timer_init() macro creates a temporary instanciation of the
timer_ops_t structure on the fly and passes it to the generic
delay timer. When this temporary instanciation gets deallocated,
the generic delay timer is left with a pointer to invalid data.

This patch fixes this bug by statically allocating the SP804
timer_ops_t structure.

Change-Id: I8fbf75907583aef06701e3fd9fabe0b2c9bc95bf

sandrine-bailleux-arm/arm-trusted-firmware,lsigithub/arm-trusted-firmware_public,sbranden/arm-trusted-firmware,sbranden/arm-trusted-firmware,sandrine-bailleux/arm-trusted-firmware,achingupta/arm-trusted-firmware,davwan01/arm-trusted-firmware,davwan01/arm-trusted-firmware,lsigithub/arm-trusted-firmware_public,achingupta/arm-trusted-firmware,jcastillo-arm/arm-trusted-firmware,sandrine-bailleux-arm/arm-trusted-firmware,sandrine-bailleux/arm-trusted-firmware,jcastillo-arm/arm-trusted-firmware