Searched refs:shared_memory_resource_t (Results 1 – 2 of 2) sorted by relevance
121 } shared_memory_resource_t; typedef152 shared_memory_resource_t r_shared_memory;
1600 shared_memory_resource_t *sm = &resource->r_shared_memory; in exclaves_resource_shared_memory_copyin()1642 shared_memory_resource_t *sm = &resource->r_shared_memory; in exclaves_resource_shared_memory_copyout()1711 __block shared_memory_resource_t *sm = &resource->r_shared_memory; in shared_memory_map()1841 shared_memory_resource_t *sm = &resource->r_shared_memory; in exclaves_resource_shared_memory_unmap()1873 shared_memory_resource_t *sm = &resource->r_shared_memory; in exclaves_resource_shared_memory_get_buffer()