pal_code_count    357 arch/ia64/kernel/efi.c 	int pal_code_count = 0;
pal_code_count    369 arch/ia64/kernel/efi.c 		if (++pal_code_count > 1) {