Searched refs:client_frame_cspath_tmp (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c233 cspacepath_t client_frame_cspath_tmp; local
293 &client_frame_cspath_tmp);
302 error = vka_cnode_move(&client_frame_cspath_tmp,
310 client_frame_caps[i] = client_frame_cspath_tmp.capPtr;
351 client_frame_cspath_tmp.capPtr = client_frame_caps[i];
353 client_frame_cspath_tmp);

Completed in 19 milliseconds