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