xref: /linux-6.15/arch/alpha/kernel/core_t2.c (revision 456f3000)