Searched defs:target_vcpu (Results 1 – 2 of 2) sorted by relevance
457 struct kvm_vcpu *target_vcpu = kvm_get_vcpu(kvm, vcpu_id); in vgic_handle_enable_reg() local
575 u32 target_vcpu; /* The VCPU the host should respond to */ member