xen 601 arch/x86/xen/enlighten_pv.c void (*xen)(void); xen 649 arch/x86/xen/enlighten_pv.c *addr = entry->xen; xen 3 include/trace/events/xen.h #define TRACE_SYSTEM xen