FW_CFG_IO_DMA_ADDR_HIGH
case FW_CFG_IO_DMA_ADDR_HIGH:
ioports_map[FW_CFG_IO_DMA_ADDR_HIGH] = vcpu_exit_fw_cfg_dma;