Searched refs:server_channel (Results 1 – 1 of 1) sorted by relevance
1483 uint64_t client_channel, server_channel; in hvmd_add_console() local1487 server_channel = primary->endpoint_id++; in hvmd_add_console()1513 console->server_endpoint->channel = server_channel; in hvmd_add_console()1527 uint64_t client_channel, server_channel; in hvmd_add_domain_services() local1531 server_channel = primary->endpoint_id++; in hvmd_add_domain_services()1542 ds->server_endpoint->tx_ino = 2 * server_channel; in hvmd_add_domain_services()1546 ds->server_endpoint->channel = server_channel; in hvmd_add_domain_services()1555 uint64_t client_channel, server_channel; in hvmd_add_vio() local1559 server_channel = primary->endpoint_id++; in hvmd_add_vio()1570 lc->server_endpoint->tx_ino = 2 * server_channel; in hvmd_add_vio()[all …]