04d684875b30 ("xen: xen_debug_interrupt prototype to global header")