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