Searched defs:nxp_gicd_addr (Results 1 – 4 of 4) sorted by relevance
15 void plat_ls_gic_driver_init(uintptr_t nxp_gicd_addr, in plat_ls_gic_driver_init()