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

/linux/arch/arm64/kvm/vgic/
A D	vgic-mmio-v3.c	285 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()

Completed in 4 milliseconds

Last Index update Fri Sep 05 17:56:23 CST 2025