Searched refs:xen_vcpu_physid_to_x86_acpiid (Results 1 - 2 of 2) sorted by relevance

/freebsd-10.3-release/sys/xen/interface/
H A Dvcpu.h200 #define xen_vcpu_physid_to_x86_acpiid(physid) ((uint32_t)((physid) >> 32)) macro
/freebsd-10.3-release/sys/i386/xen/
H A Dmp_machdep.c792 acpiid = xen_vcpu_physid_to_x86_acpiid(cpu_id.phys_id);

Completed in 102 milliseconds