Searched refs:gicc_base_pa (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/include/drivers/ |
| H A D | gic.h | 43 void gic_init_v3(paddr_t gicc_base_pa, paddr_t gicd_base_pa,
45 static inline void gic_init(paddr_t gicc_base_pa, paddr_t gicd_base_pa) in gic_init() argument
47 gic_init_v3(gicc_base_pa, gicd_base_pa, 0); in gic_init()
|
| /optee_os/core/drivers/ |
| H A D | gic.c | 522 static void gic_init_base_addr(paddr_t gicc_base_pa, paddr_t gicd_base_pa, in gic_init_base_addr() argument
545 gicc_base = core_mmu_get_va(gicc_base_pa, MEM_AREA_IO_SEC, in gic_init_base_addr()
564 void gic_init_v3(paddr_t gicc_base_pa, paddr_t gicd_base_pa, in gic_init_v3() argument
570 gic_init_base_addr(gicc_base_pa, gicd_base_pa, gicr_base_pa); in gic_init_v3()
|