xref: /linux-6.15/arch/alpha/kernel/core_marvel.c (revision 680caca6)