device: 0.758
instruction: 0.606
graphic: 0.303
semantic: 0.182
other: 0.161
mistranslation: 0.114
vnc: 0.069
network: 0.049
socket: 0.029
boot: 0.022
assembly: 0.021
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.