options WITNESS and locks

[Kris Kennaway]

Yony Yossef wrote:
> Something is still unclear. All my locks are MTX_DEF type, which means
> sleepable, including the one specified in the crash report (MTNIC state
> semaphore).
> This crash happens when I try to call bus_resource_alloc_any for a SYS_REQ
> which is trying to obtain the second lock (ACPI root bus). How come my
> MTX_DEF lock is being treated as as non-sleepable?

MTX_DEF locks *are* non-sleepable :-)

Kris