spapr/xive: use SPAPR_IRQ_IPI to define IPI ranges exposed to the guest
[qemu/ar7.git] / .gitlab-ci.d / 
tree87166db78deb4c545a14e0cafabc0dc7aa9d555c
drwxr-xr-x   ..
drwxr-xr-x - edk2