Home
last modified time | relevance | path

Searched refs:target_vcpu_id (Results 1 – 1 of 1) sorted by relevance

/arch/arm64/kvm/vgic/
Dvgic-mmio-v3.c285 int target_vcpu_id = vcpu->vcpu_id; in vgic_mmio_read_v3r_typer() local
289 value |= ((target_vcpu_id & 0xffff) << 8); in vgic_mmio_read_v3r_typer()