taglinefilesource code
__reml19arch/alpha/kernel/ksyms.cextern void __reml (void);
__reml43arch/alpha/kernel/ksyms.cX(__reml),
__reml79arch/alpha/kernel/ksyms.cXNOVERS(__reml),