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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dserial_server.c487 vspace_t *to_vspace; local
494 to_vspace = &p->vspace;
495 *target_vaddr = vspace_share_mem(from_vspace, to_vspace,

Completed in 21 milliseconds