xen_cr3_to_pfn    100 arch/x86/include/asm/xen/interface_32.h #define xen_cr3_to_pfn(cr3) (((unsigned)(cr3) >> 12) | ((unsigned)(cr3) << 20))
xen_cr3_to_pfn    133 arch/x86/include/asm/xen/interface_64.h #define xen_cr3_to_pfn(cr3) ((unsigned long)(cr3) >> 12)