device: 0.758 graphic: 0.303 performance: 0.267 debug: 0.196 semantic: 0.182 other: 0.161 vnc: 0.069 PID: 0.052 network: 0.049 permissions: 0.042 socket: 0.029 boot: 0.022 files: 0.010 KVM: 0.005 The state of parameter DeviceState *dev in function spapr_get_fw_dev_path of PPC /spapr.c may cause a null pointer reference.