Searched defs:word_index (Results 1 – 2 of 2) sorted by relevance
116 int word_index = __ffs(vcpu->arch.irq_summary); in pop_irq() local1624 int word_index = __ffs(vcpu->arch.irq_summary); in svm_do_inject_vector() local
2474 int word_index = __ffs(vcpu->arch.irq_summary); in kvm_do_inject_irq() local