Home
last modified time | relevance | path

Searched refs:vcpu_info (Results 1 – 4 of 4) sorted by relevance

/NextBSD/sys/x86/xen/
HDhvm.c89 DPCPU_DEFINE(struct vcpu_info, vcpu_local_info);
90 DPCPU_DEFINE(struct vcpu_info *, vcpu_info);
310 DPCPU_ID_SET(i, vcpu_info, NULL); in xen_hvm_init()
374 struct vcpu_info *vcpu_info; in xen_hvm_cpu_init() local
380 if (DPCPU_GET(vcpu_info) != NULL) { in xen_hvm_cpu_init()
389 vcpu_info = DPCPU_PTR(vcpu_local_info); in xen_hvm_cpu_init()
391 info.mfn = vtophys(vcpu_info) >> PAGE_SHIFT; in xen_hvm_cpu_init()
392 info.offset = vtophys(vcpu_info) - trunc_page(vtophys(vcpu_info)); in xen_hvm_cpu_init()
396 DPCPU_SET(vcpu_info, &HYPERVISOR_shared_info->vcpu_info[cpu]); in xen_hvm_cpu_init()
398 DPCPU_SET(vcpu_info, vcpu_info); in xen_hvm_cpu_init()
HDxen_intr.c110 DPCPU_DECLARE(struct vcpu_info *, vcpu_info);
534 v = DPCPU_GET(vcpu_info); in xen_intr_handle_upcall()
/NextBSD/sys/dev/xen/timer/
HDtimer.c91 DPCPU_DECLARE(struct vcpu_info *, vcpu_info);
156 xen_fetch_vcpu_time(struct vcpu_info *vcpu) in xen_fetch_vcpu_time()
177 vcpu_time = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_get_timecount()
207 uptime = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xen_fetch_uptime()
257 pcpu->last_processed = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_intr()
301 struct vcpu_info *vcpu = DPCPU_GET(vcpu_info); in xentimer_et_start()
501 struct vcpu_info *vcpu = &HYPERVISOR_shared_info->vcpu_info[0]; in xen_delay()
/NextBSD/sys/xen/interface/
HDxen.h608 struct vcpu_info { struct
645 typedef struct vcpu_info vcpu_info_t; argument
658 struct vcpu_info vcpu_info[XEN_LEGACY_MAX_VCPUS]; member