/ Update the IDT table for an interrupt. We just set the function */ pointer (code which will be in intr_x86-XX.S). */ /
source not stored for this graph (policy: none)
no test coverage detected