Searched refs:tb_upcall_ep (Results 1 – 1 of 1) sorted by relevance
616 tb_endpoint_t tb_upcall_ep = tb_endpoint_create_with_value( in exclaves_upcall_init() local630 tb_error_t error = xnuupcalls_xnuupcalls__server_start(tb_upcall_ep, in exclaves_upcall_init()