Searched refs:vcpu_token (Results 1 – 4 of 4) sorted by relevance
14 uint32_t vcpu_token; member
587 u32 vcpu_token; member
71 hr->vcpu_token = swab32(hr->vcpu_token); in byteswap_hv_regs()323 if (l2_hv.vcpu_token >= NR_CPUS) in kvmhv_enter_nested_guest()365 vcpu->arch.nested_vcpu_id = l2_hv.vcpu_token; in kvmhv_enter_nested_guest()
4086 hvregs.vcpu_token = vcpu->arch.nested_vcpu_id; in kvmhv_vcpu_entry_p9_nested()4089 hvregs.vcpu_token = vcpu->vcpu_id; in kvmhv_vcpu_entry_p9_nested()