qemu/hw/intc/+code=xics_prop_get_nr_servers
<<
>>
Prefs
Node not found: hw/intc/+code=xics_prop_get_nr_servers (xilinx-v2017.1)