taglinefilesource code
old_ipl78arch/alpha/kernel/lca.cunsigned long old_ipl, code, stat0;
old_ipl81arch/alpha/kernel/lca.cold_ipl = swpipl(7);  /* avoid getting hit by machine check */
old_ipl108arch/alpha/kernel/lca.cswpipl(old_ipl);