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.