Symbol: xen_cr3_to_pfn
usr/src/uts/common/xen/public/arch-x86/xen-x86_32.h
173
#define xen_cr3_to_pfn(cr3) (((unsigned)(cr3) >> 12) | ((unsigned)(cr3) << 20))
usr/src/uts/common/xen/public/arch-x86/xen-x86_64.h
192
#define xen_cr3_to_pfn(cr3) ((unsigned long)(cr3) >> 12)