Searched defs:gicd_base_pa (Results 1 – 2 of 2) sorted by relevance
45 static inline void gic_init(paddr_t gicc_base_pa, paddr_t gicd_base_pa) in gic_init()
522 static void gic_init_base_addr(paddr_t gicc_base_pa, paddr_t gicd_base_pa, in gic_init_base_addr()564 void gic_init_v3(paddr_t gicc_base_pa, paddr_t gicd_base_pa, in gic_init_v3()