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