Lines Matching defs:vci
192 volatile struct vcpu_info *vci;
199 vci = ci->ci_vcpu;
220 while (vci->evtchn_upcall_pending) {
223 vci->evtchn_upcall_pending = 0;
225 evt_iterate_bits(&vci->evtchn_pending_sel,
280 volatile struct vcpu_info *vci;
284 vci = ci->ci_vcpu;
301 while (vci->evtchn_upcall_pending) {
302 vci->evtchn_upcall_pending = 0;
304 evt_iterate_bits(&vci->evtchn_pending_sel,
312 (uint)vci->evtchn_pending_sel,
324 volatile struct vcpu_info *vci = ci->ci_vcpu;
334 xen_atomic_set_bit(&vci->evtchn_pending_sel,
336 xen_atomic_set_bit(&vci->evtchn_upcall_pending, 0);
Indexes created Fri Oct 03 02:09:57 GMT 2025