Searched refs:spapr_max_server_number (Results 1 – 3 of 3) sorted by relevance
329 uint32_t nr_servers = spapr_max_server_number(spapr); in spapr_irq_init()484 uint32_t nr_servers = spapr_max_server_number(spapr); in set_active_intc()
135 int spapr_max_server_number(SpaprMachineState *spapr) in spapr_max_server_number() function1223 spapr_irq_dt(spapr, spapr_max_server_number(spapr), fdt, PHANDLE_INTC); in spapr_build_fdt()
929 int spapr_max_server_number(SpaprMachineState *spapr);