Searched refs:target_vcpu_id (Results 1 - 1 of 1) sorted by relevance
| /linux-master/arch/arm64/kvm/vgic/ | ||
| H A D | vgic-mmio-v3.c | 323 int target_vcpu_id = vcpu->vcpu_id; local 327 value |= ((target_vcpu_id & 0xffff) << 8); |
Completed in 159 milliseconds