Symbol: FW_CFG_IO_DMA_ADDR_HIGH
usr.sbin/vmd/fw_cfg.c
270
case FW_CFG_IO_DMA_ADDR_HIGH:
usr.sbin/vmd/fw_cfg.c
298
case FW_CFG_IO_DMA_ADDR_HIGH:
usr.sbin/vmd/x86_vm.c
419
ioports_map[FW_CFG_IO_DMA_ADDR_HIGH] = vcpu_exit_fw_cfg_dma;