Searched defs:vcpu_get_cookie (Results 1 – 2 of 2) sorted by relevance
928 vcpu_get_cookie(struct vcpu *vcpu) in vcpu_get_cookie() function
1220 vcpu_get_cookie(struct vcpu *vcpu) in vcpu_get_cookie() function