Searched refs:vcpu_info_t (Results 1 – 5 of 5) sorted by relevance
461 typedef struct vcpu_info vcpu_info_t; typedef
824 volatile vcpu_info_t *vci = cpu->cpu_m.mcpu_vcpu_info; in xen_uppc_setspl()
596 volatile vcpu_info_t *vci = cpu->cpu_m.mcpu_vcpu_info; in xen_psm_setspl()
1260 volatile vcpu_info_t *vci = cpu->cpu_m.mcpu_vcpu_info; in xen_callback_handler()1470 volatile vcpu_info_t *vci = CPU->cpu_m.mcpu_vcpu_info; in ec_unmask_evtchn()
663 vcpu_info_t *vcpu = &si->vcpu_info[i]; in xen_debug_handler()