tree 5081b28baa8a20741e433b842656312028b79da2
parent 7dc28e9c6e577c5151d0a6df7165f7d21f509f5f
author Sandrine Bailleux <sandrine.bailleux@arm.com> 1443454358 +0100
committer Sandrine Bailleux <sandrine.bailleux@arm.com> 1443454380 +0100

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