Searched refs:target_vcpu_id (Results 1 – 1 of 1) sorted by relevance
285 int target_vcpu_id = vcpu->vcpu_id; in vgic_mmio_read_v3r_typer() local289 value |= ((target_vcpu_id & 0xffff) << 8); in vgic_mmio_read_v3r_typer()