1090 * spurious wakeups. In case of c, |
1090 * spurious wakeups. In case of c, |
1091 * then the interrupt has been cleared, but |
1091 * then the interrupt has been cleared, but |
1092 * we don't want to consume it. It came from |
1092 * we don't want to consume it. It came from |
1093 * user code and is intended for user code, not us. |
1093 * user code and is intended for user code, not us. |
1094 * So, we will remember that the interrupt has |
1094 * So, we will remember that the interrupt has |
1095 * occured and re-activate it when this thread |
1095 * occurred and re-activate it when this thread |
1096 * goes back into user code. |
1096 * goes back into user code. |
1097 * That being said, what do we do here? Since |
1097 * That being said, what do we do here? Since |
1098 * we could have been notified too, here we will |
1098 * we could have been notified too, here we will |
1099 * just pretend that we have been. It won't hurt |
1099 * just pretend that we have been. It won't hurt |
1100 * anything to return in the same way as if |
1100 * anything to return in the same way as if |