Searched defs:target_vcpu (Results 1 – 1 of 1) sorted by relevance
99 int target_vcpu; member739 int target_vcpu, i; in write_pendr() local816 int target_vcpu, i; in write_activer() local2018 int target_vcpu; in vgic_v3_inject_irq() local