Searched defs:vci (Results 1 – 4 of 4) sorted by relevance
225 volatile struct vcpu_info *vci; in evtchn_callback_fcn() local
1260 volatile vcpu_info_t *vci = cpu->cpu_m.mcpu_vcpu_info; in xen_callback_handler() local1470 volatile vcpu_info_t *vci = CPU->cpu_m.mcpu_vcpu_info; in ec_unmask_evtchn() local
824 volatile vcpu_info_t *vci = cpu->cpu_m.mcpu_vcpu_info; in xen_uppc_setspl() local
596 volatile vcpu_info_t *vci = cpu->cpu_m.mcpu_vcpu_info; in xen_psm_setspl() local