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);