Home
last modified time | relevance | path

Searched refs:k3_gic_driver_init (Results 1 – 3 of 3) sorted by relevance

/trusted-firmware-a-latest/plat/ti/k3/include/
Dk3_gicv3.h12 void k3_gic_driver_init(uintptr_t gic_base);
/trusted-firmware-a-latest/plat/ti/k3/common/
Dk3_gicv3.c43 void k3_gic_driver_init(uintptr_t gic_base) in k3_gic_driver_init() function
Dk3_bl31_setup.c122 k3_gic_driver_init(K3_GIC_BASE); in bl31_platform_setup()