x86/xen: Add cpu_to_vcpu_id macro

diff --git a/sys/x86/include/xen/xen-os.h b/sys/x86/include/xen/xen-os.h
index 51c8815a4226497150ac67311331432ebb67356c..95f30747d51a6b19bc09b732cd66ab2835323755 100644 (file)
--- a/sys/x86/include/xen/xen-os.h
+++ b/sys/x86/include/xen/xen-os.h
@@ -36,6 +36,8 @@
 #include <vm/vm.h>
 #include <vm/pmap.h>
 
+#include <sys/pcpu.h>
+
 static inline void *
 xen_pmap(vm_paddr_t pa, vm_size_t size)
 {
@@ -70,6 +72,13 @@ xen_pv_nics_disabled(void)
        return (xen_hvm_domain() && xen_disable_pv_nics != 0);
 }
 
+static inline u_int
+cpu_to_vcpu_id(u_int cpuid)
+{
+
+       return (pcpu_find(cpuid)->pc_vcpu_id);
+}
+
 #endif /* !__ASSEMBLY__ */
 
 #endif /* _MACHINE_X86_XEN_XEN_OS_H_ */