Searched defs:target_vcpu (Results 1 – 1 of 1) sorted by relevance
98 int target_vcpu; member738 int target_vcpu, i; in write_pendr() local815 int target_vcpu, i; in write_activer() local2017 int target_vcpu; in vgic_v3_inject_irq() local