Searched refs:bufioreq_port (Results 1 – 1 of 1) sorted by relevance
150 evtchn_port_t *bufioreq_port) in xendevicemodel_get_ioreq_server_info() argument153 bufioreq_pfn, bufioreq_port); in xendevicemodel_get_ioreq_server_info()