ia64_set_psr 471 arch/ia64/kernel/efi.c ia64_set_psr(psr); /* restore psr */ ia64_set_psr 1258 arch/ia64/kernel/mca.c ia64_set_psr(psr); ia64_set_psr 543 arch/ia64/mm/tlb.c ia64_set_psr(psr);