Searched refs:HYPERVISOR_shared_info (Results 1 – 6 of 6) sorted by relevance
51 shared_info_t *HYPERVISOR_shared_info; variable86 else if (cpu < nitems(HYPERVISOR_shared_info->vcpu_info)) { in xen_setup_vcpu_info()89 DPCPU_SET(vcpu_info, &HYPERVISOR_shared_info->vcpu_info[cpu]); in xen_setup_vcpu_info()
80 extern shared_info_t *HYPERVISOR_shared_info;
41 KASSERT(port < nitems(HYPERVISOR_shared_info->evtchn_##type) * \43 (HYPERVISOR_shared_info->evtchn_##type + ((port) / __LONG_BIT));\
141 XTREQUIRES(HYPERVISOR_shared_info != NULL, in xentimer_probe()195 shared_info_t *src = HYPERVISOR_shared_info; in xen_fetch_wallclock()520 struct vcpu_info *vcpu = &HYPERVISOR_shared_info->vcpu_info[0]; in xen_delay()
197 HYPERVISOR_shared_info = NULL; in map_shared_info()198 } else if (HYPERVISOR_shared_info == NULL) in map_shared_info()199 HYPERVISOR_shared_info = &shared_page.shared_info; in map_shared_info()
330 volatile const shared_info_t *const sh = HYPERVISOR_shared_info; in xen_intr_active_ports()466 shared_info_t *s = HYPERVISOR_shared_info; in xen_intr_init()591 shared_info_t *s = HYPERVISOR_shared_info; in xen_intr_resume()1110 shared_info_t *s = HYPERVISOR_shared_info; in xen_intr_dump_port()