Symbol: VATPIC_LOCKED
sys/amd64/vmm/io/vatpic.c
203
KASSERT(VATPIC_LOCKED(vatpic), ("vatpic_notify_intr not locked"));
sys/amd64/vmm/io/vatpic.c
426
KASSERT(VATPIC_LOCKED(vatpic),