taglinefilesource code
palcode_avail138arch/alpha/boot/main.crev = percpu->pal_revision = percpu->palcode_avail[2];
palcode_avail75include/asm-alpha/hwrpb.hunsigned long palcode_avail[16];