Assertion: interrupt | /r/CapableOf | raise ipl
Facets:
value: temporarily
type: MANNER
value: to 7
type: OTHER
Source sentences:
text: Thus, the level-3 scheduler interrupt handler would temporarily raise IPL to 7 before accessing any actual scheduler data structures, then lower back to 3 before actually switching process contexts.