taglinefilesource code
ipl37include/asm-alpha/io.hunsigned long ipl = swpipl(7);
ipl41include/asm-alpha/io.hsetipl(ipl);