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()1504 console->client_endpoint->target_channel = server_channel; in hvmd_add_console()1509 console->server_endpoint->tx_ino = 2 * server_channel; in hvmd_add_console()1510 console->server_endpoint->rx_ino = 2 * server_channel + 1; 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()1538 ds->client_endpoint->target_channel = server_channel; in hvmd_add_domain_services()1542 ds->server_endpoint->tx_ino = 2 * server_channel; in hvmd_add_domain_services()[all …]