Searched refs:oldipcb (Results 1 – 1 of 1) sorted by relevance
2363 void *oldipcb = thread->th_exclaves_ipc_buffer; in exclaves_handle_upcall() local2395 thread->th_exclaves_ipc_buffer = oldipcb; in exclaves_handle_upcall()