Searched defs:target_vcpu_id (Results 1 – 1 of 1) sorted by relevance
260 int target_vcpu_id = vcpu->vcpu_id; in vgic_mmio_read_v3r_typer() local280 int target_vcpu_id = vcpu->vcpu_id; in vgic_uaccess_read_v3r_typer() local