On 09.05.2017 01:39, Philippe Mathieu-Daudé wrote: > This field is accessed in hw/intc/arm_gicv[23*].c
default-configs/arm-softmmu.mak sets CONFIG_PCI, so this should not be necessary, I think. Otherwise, you should extend your patch description, to elaborate on what you're trying to do here. Thomas
