Symbol: KVMPPC_VCPU_BUSY_IN_HOST