Searched hist:e0c081a30f8d31e9d1dfddc6a1f9788a56ec340b (Results 1 – 1 of 1) sorted by relevance
| /optee_os/core/include/drivers/ |
| H A D | gic.h | e0c081a30f8d31e9d1dfddc6a1f9788a56ec340b Thu Oct 05 21:10:31 UTC 2017 Jens Wiklander <jens.wiklander@linaro.org> core: fix gic_init() prototype
Prior to this patch gic_init() incorrectly had paddr_t as type for the
GIC base addresses while the implementation used vaddr_t. The correct
type is vaddr_t which we're changing to here.
Reviewed-by: Etienne Carriere <etienne.carriere@linaro.org>
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
|