CONFIG_DEBUG_SECTION_MISMATCH=y reports:

The function dw_apb_clocksource_register() references
the function __init __ipipe_tsc_register().
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

This adds the arm-specific bits to implement the userspace return
notifier.
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

Although the regular SMP code is fine with keeping IPI_CPU_BACKTRACE
out of this count, we don't as we depend on it to figure out the exact
number of IPI vectors in use. The last IPI number we must allocate is
NR_IPI + IPIPE_LAST_IPI + 1, to account for the empty CPU_BACKTRACE
slot.

This bug badly breaks ipipe_raise_irq() by causing a conflict in the
VIRQ namespace between the last IPI and the first allocated VIRQ
allocated by the generic code (detected with deferred out-of-band
printk() messages not showing up).

Something moved the value of this constant but didn't update the
hard-coded instances. Fix this and avoid future problems by using the
proper symbolic value.

That just requires harding asm/ipipe_base.h for assembly use.
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

The mayday trap asks the co-kernel to deal with a runaway context
which has been detected earlier. When doing so, the co-kernel might
re-enable hard interrupts, which we have to disable again before
unwinding the IRQ context which triggered the whole process (like a
watchdog event).

Use __ipipe_call_mayday() to fire the notification to the co-kernel
instead of the open coded version, so that we do restore the hard
interrupt state properly before leaving __ipipe_exit_irq().

linux/ipipe_base.h was originally designed to circumvment #include
hell by exporting only a subset of core definitions with minimum
dependencies to other inner headers.

The latest code reorganization fixed this issue in a better way, and
linux/ipipe.h is currently the only direct reader of
linux/ipipe_base.h, so let's merge both headers back as linux/ipipe.h.