xen_read_cr2_direct 1001 arch/x86/xen/enlighten_pv.c 			__PV_IS_CALLEE_SAVE(xen_read_cr2_direct);
xen_read_cr2_direct   24 arch/x86/xen/mmu.h unsigned long xen_read_cr2_direct(void);
xen_read_cr2_direct  138 arch/x86/xen/xen-ops.h __visible unsigned long xen_read_cr2_direct(void);