danh-arm 41099f4e74 Merge pull request #401 from sandrine-bailleux/sb/fix-sp804-bug-v2 ... Bug fix in the SP804 dual timer driver		2015-09-30 15:18:15 +01:00
..
arm_gic.h	Use uintptr_t as base address type in ARM driver APIs	2015-07-09 11:53:32 +01:00
cci.h	Use uintptr_t as base address type in ARM driver APIs	2015-07-09 11:53:32 +01:00
cci400.h	Use uintptr_t as base address type in ARM driver APIs	2015-07-09 11:53:32 +01:00
ccn.h	Add a generic driver for ARM CCN IP	2015-09-14 22:09:40 +01:00
gic_v2.h	Use uintptr_t as base address type in ARM driver APIs	2015-07-09 11:53:32 +01:00
gic_v3.h	Make system register functions inline assembly	2014-06-10 15:26:14 +01:00
nic_400.h	Separate CSS security setup from SOC security setup	2015-09-11 11:50:26 +01:00
pl011.h	Parametrize baudrate and UART clock during console_init()	2014-07-28 10:44:04 +01:00
sp804_delay_timer.h	Bug fix in the SP804 dual timer driver	2015-09-28 16:33:00 +01:00
tzc400.h	Use uintptr_t as base address type in ARM driver APIs	2015-07-09 11:53:32 +01:00