Symbol: PCKBC_AUX
regress/sys/arch/amd64/vmm/vcpu.c
314
if (exit->vei.vei_port != PCKBC_AUX) {
regress/sys/arch/amd64/vmm/vcpu.c
57
.vrs_gprs[VCPU_REGS_RDX] = PCKBC_AUX, /* Port used by INS */
usr.sbin/vmd/x86_vm.c
376
ioports_map[PCKBC_AUX] = vcpu_exit_i8253_misc;