Home
last modified time | relevance | path

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

/f-stack/freebsd/x86/xen/
H A Dhvm.c99 DPCPU_DEFINE(struct vcpu_info, vcpu_local_info);
100 DPCPU_DEFINE(struct vcpu_info *, vcpu_info);
384 DPCPU_ID_SET(i, vcpu_info, NULL); in xen_hvm_init()
431 struct vcpu_info *vcpu_info; in xen_hvm_cpu_init() local
438 if (DPCPU_GET(vcpu_info) != NULL) { in xen_hvm_cpu_init()
480 vcpu_info = DPCPU_PTR(vcpu_local_info); in xen_hvm_cpu_init()
482 info.mfn = vtophys(vcpu_info) >> PAGE_SHIFT; in xen_hvm_cpu_init()
483 info.offset = vtophys(vcpu_info) - trunc_page(vtophys(vcpu_info)); in xen_hvm_cpu_init()
487 DPCPU_SET(vcpu_info, &HYPERVISOR_shared_info->vcpu_info[cpu]); in xen_hvm_cpu_init()
489 DPCPU_SET(vcpu_info, vcpu_info); in xen_hvm_cpu_init()
H A Dxen_intr.c115 DPCPU_DECLARE(struct vcpu_info *, vcpu_info);
541 v = DPCPU_GET(vcpu_info); in xen_intr_handle_upcall()