xen_cr3_to_pfn
#define xen_cr3_to_pfn(cr3) (((unsigned)(cr3) >> 12) | ((unsigned)(cr3) << 20))
#define xen_cr3_to_pfn(cr3) ((unsigned long)(cr3) >> 12)