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