e3e720d87d
Register a ipl callback for IPL_HIGH. if the current ipl level is too high, just record the event in a bitmap, and record IPL_HIGH as pending. The callback will process the pending events. |
||
---|---|---|
.. | ||
compile | ||
conf | ||
i386 | ||
include | ||
x86 | ||
xen | ||
xenbus | ||
Makefile |