shadow_pid
u32 shadow_pid;
OFFSET(VCPU_SHADOW_PID, kvm_vcpu, arch.shadow_pid);
vcpu->arch.shadow_pid = 1;
vcpu_e500->vcpu.arch.shadow_pid = kvmppc_e500_get_sid(vcpu_e500,
ks->threadid = shadow_pid(current->pid);
ks->kgdb_usethreadid = shadow_pid(kgdb_info[ks->cpu].task->pid);
int_to_threadref(thref, shadow_pid(current->pid));