Searched defs:vcpu_id (Results 1 – 5 of 5) sorted by relevance
397 #define trace_kvm_halt_poll_ns_grow(vcpu_id, new, old) \ argument399 #define trace_kvm_halt_poll_ns_shrink(vcpu_id, new, old) \ argument
73 uint32_t vcpu_id; member
41 int vcpu_id; member
939 int vcpu_id = vcpu->vcpu_id; in vgic_v3_dispatch_sgi() local
252 int vcpu_id; /* id given by userspace at creation */ member