Searched refs:spapr_xive_dt (Results 1 – 1 of 1) sorted by relevance
716 static void spapr_xive_dt(SpaprInterruptController *intc, uint32_t nr_servers, in spapr_xive_dt() function846 sicc->dt = spapr_xive_dt; in spapr_xive_class_init()