tag	line	file	source code
palcode_avail	138	arch/alpha/boot/main.c	rev = percpu->pal_revision = percpu->palcode_avail[2];
palcode_avail	75	include/asm-alpha/hwrpb.h	unsigned long palcode_avail[16];