Ensure only GIE bit is touched in splx_()

This commit is contained in:
Kévin Roussel 2014-06-19 15:03:48 +02:00
parent 07b170595c
commit 892268d74b
2 changed files with 2 additions and 1 deletions

View File

@ -170,6 +170,7 @@ splhigh_(void)
void
splx_(int sr)
{
sr &= GIE;
/* If GIE was set, restore it. */
asmv("bis %0, r2" : : "r"(sr));
asmv("nop");