Symbol: VATPIC_CTR2
sys/amd64/vmm/io/vatpic.c
401
VATPIC_CTR2(vatpic, "%s atpic special mask mode %s",
sys/amd64/vmm/io/vatpic.c
439
VATPIC_CTR2(vatpic, "atpic pin%d: bad acnt %d", pin, newcnt);