xen_pfn_to_cr3
#define xen_pfn_to_cr3(pfn) (((unsigned)(pfn) << 12) | ((unsigned)(pfn) >> 20))
#define xen_pfn_to_cr3(pfn) ((unsigned long)(pfn) << 12)