taglinefilesource code
s3128arch/alpha/kernel/apecs.cregister long s3 asm ("12");
s3134arch/alpha/kernel/apecs.casm volatile ("# %0" : "r="(s3));
s3209arch/alpha/kernel/apecs.casm volatile ("# %0" :: "r"(s3));