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