Lines Matching refs:vcpu
102 * @param vcpu KVM virtual CPU number
105 void setPPI(unsigned vcpu, unsigned ppi);
110 * @param vcpu KVM virtual CPU number
113 void clearPPI(unsigned vcpu, unsigned ppi);
135 * @param vcpu CPU id within KVM (ignored for SPIs)
139 void setIntState(unsigned type, unsigned vcpu, unsigned irq, bool high);
145 * @param vcpu CPU id within KVM
148 uint32_t getGicReg(unsigned group, unsigned vcpu, unsigned offset);
154 * @param vcpu CPU id within KVM
158 void setGicReg(unsigned group, unsigned vcpu, unsigned offset,