Searched refs:vcpu_info (Results 1 – 6 of 6) sorted by relevance
| /freebsd-14.2/sys/xen/ |
| H A D | xen_common.c | 57 DPCPU_DEFINE(struct vcpu_info *, vcpu_info); 66 vcpu_info_t *vcpu_info = DPCPU_PTR(vcpu_local_info); in xen_setup_vcpu_info() local 68 .mfn = vtophys(vcpu_info) >> PAGE_SHIFT, in xen_setup_vcpu_info() 69 .offset = vtophys(vcpu_info) & PAGE_MASK, in xen_setup_vcpu_info() 76 _Static_assert(sizeof(struct vcpu_info) <= 64, in xen_setup_vcpu_info() 88 DPCPU_SET(vcpu_info, vcpu_info); in xen_setup_vcpu_info() 89 else if (cpu < nitems(HYPERVISOR_shared_info->vcpu_info)) { in xen_setup_vcpu_info() 92 DPCPU_SET(vcpu_info, &HYPERVISOR_shared_info->vcpu_info[cpu]); in xen_setup_vcpu_info()
|
| /freebsd-14.2/sys/dev/xen/timer/ |
| H A D | xen_timer.c | 93 DPCPU_DECLARE(struct vcpu_info *, vcpu_info); 158 xen_fetch_vcpu_time(struct vcpu_info *vcpu) in xen_fetch_vcpu_time() 179 vcpu_time = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_get_timecount() 209 uptime = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xen_fetch_uptime() 233 xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_settime() 277 pcpu->last_processed = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_intr() 322 struct vcpu_info *vcpu = DPCPU_GET(vcpu_info); in xentimer_et_start() 521 struct vcpu_info *vcpu = &HYPERVISOR_shared_info->vcpu_info[0]; in xen_delay()
|
| /freebsd-14.2/usr.sbin/bhyve/ |
| H A D | bhyverun.c | 111 static struct vcpu_info { struct 115 } *vcpu_info; argument 408 return (vcpu_info[vcpuid].vcpu); in fbsdrun_vcpu() 415 struct vcpu_info *vi = param; in fbsdrun_start_thread() 444 struct vcpu_info *vi; in fbsdrun_addcpu() 448 vi = &vcpu_info[vcpuid]; in fbsdrun_addcpu() 909 vcpu_info = calloc(guest_ncpus, sizeof(*vcpu_info)); in main() 911 vcpu_info[vcpuid].ctx = ctx; in main() 912 vcpu_info[vcpuid].vcpuid = vcpuid; in main() 914 vcpu_info[vcpuid].vcpu = bsp; in main() [all …]
|
| /freebsd-14.2/sys/x86/xen/ |
| H A D | hvm.c | 89 DPCPU_DECLARE(struct vcpu_info *, vcpu_info); 370 DPCPU_ID_SET(i, vcpu_info, NULL); in xen_hvm_init() 422 if (DPCPU_GET(vcpu_info) != NULL) { in xen_hvm_cpu_init()
|
| /freebsd-14.2/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-14.2/sys/dev/xen/bus/ |
| H A D | xen_intr.c | 101 DPCPU_DECLARE(struct vcpu_info *, vcpu_info); 362 v = DPCPU_GET(vcpu_info); in xen_intr_handle_upcall()
|