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