xen_read_cr2     2390 arch/x86/xen/mmu_pv.c 	.read_cr2 = __PV_IS_CALLEE_SAVE(xen_read_cr2),
xen_read_cr2      137 arch/x86/xen/xen-ops.h __visible unsigned long xen_read_cr2(void);