device: 0.724 performance: 0.481 debug: 0.290 graphic: 0.266 boot: 0.194 other: 0.172 KVM: 0.104 vnc: 0.098 semantic: 0.091 PID: 0.072 permissions: 0.064 network: 0.013 files: 0.002 socket: 0.001 destroying a vCPU will leak its AddressSpaces