Symbol: VATPIC_CTR0
sys/amd64/vmm/io/vatpic.c
288
VATPIC_CTR0(vatpic, "vatpic cascade mode required");
sys/amd64/vmm/io/vatpic.c
293
VATPIC_CTR0(vatpic, "vatpic icw4 required");
sys/amd64/vmm/io/vatpic.c
330
VATPIC_CTR0(vatpic, "vatpic microprocessor mode required");