Searched refs:vcpu_info (Results 1 – 6 of 6) sorted by relevance
/freebsd/sys/xen/ |
H A D | xen_common.c | 54 DPCPU_DEFINE(struct vcpu_info *, vcpu_info); 63 vcpu_info_t *vcpu_info = DPCPU_PTR(vcpu_local_info); in xen_setup_vcpu_info() local 65 .mfn = vtophys(vcpu_info) >> PAGE_SHIFT, in xen_setup_vcpu_info() 66 .offset = vtophys(vcpu_info) & PAGE_MASK, in xen_setup_vcpu_info() 73 _Static_assert(sizeof(struct vcpu_info) <= 64, in xen_setup_vcpu_info() 85 DPCPU_SET(vcpu_info, vcpu_info); in xen_setup_vcpu_info() 86 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()
|
/freebsd/sys/dev/xen/timer/ |
H A D | xen_timer.c | 92 DPCPU_DECLARE(struct vcpu_info *, vcpu_info); 157 xen_fetch_vcpu_time(struct vcpu_info *vcpu) in xen_fetch_vcpu_time() 178 vcpu_time = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_get_timecount() 208 uptime = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xen_fetch_uptime() 232 xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_settime() 276 pcpu->last_processed = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_intr() 321 struct vcpu_info *vcpu = DPCPU_GET(vcpu_info); in xentimer_et_start() 520 struct vcpu_info *vcpu = &HYPERVISOR_shared_info->vcpu_info[0]; in xen_delay()
|
/freebsd/usr.sbin/bhyve/ |
H A D | bhyverun.c | 113 static struct vcpu_info { struct 117 } *vcpu_info; argument 368 return (vcpu_info[vcpuid].vcpu); in fbsdrun_vcpu() 375 struct vcpu_info *vi = param; in fbsdrun_start_thread() 404 struct vcpu_info *vi; in fbsdrun_addcpu() 408 vi = &vcpu_info[vcpuid]; in fbsdrun_addcpu() 453 return (vm_suspend_cpu(vcpu_info[vcpuid].vcpu)); in fbsdrun_suspendcpu() 706 vcpu_info = calloc(guest_ncpus, sizeof(*vcpu_info)); in main() 708 vcpu_info[vcpuid].ctx = ctx; in main() 709 vcpu_info[vcpuid].vcpuid = vcpuid; in main() [all …]
|
/freebsd/sys/contrib/xen/ |
H A D | xen.h | 695 struct vcpu_info { struct 732 typedef struct vcpu_info vcpu_info_t; argument 745 struct vcpu_info vcpu_info[XEN_LEGACY_MAX_VCPUS]; member
|
/freebsd/sys/x86/xen/ |
H A D | hvm.c | 93 DPCPU_DECLARE(struct vcpu_info *, vcpu_info); 445 DPCPU_ID_SET(i, vcpu_info, NULL); in xen_hvm_init() 494 if (DPCPU_GET(vcpu_info) != NULL) { in xen_hvm_cpu_init()
|
/freebsd/sys/dev/xen/bus/ |
H A D | xen_intr.c | 99 DPCPU_DECLARE(struct vcpu_info *, vcpu_info); 371 v = DPCPU_GET(vcpu_info); in xen_intr_handle_upcall()
|