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

/seL4-camkes-master/projects/sel4runtime/src/
H A Dutil.h35 void *__sel4runtime_memcpy(
H A Dmemcpy.c29 void *__sel4runtime_memcpy(void *restrict dest, const void *restrict src, sel4runtime_size_t n) function
H A Denv.c247 __sel4runtime_memcpy(dest_addr, src, bytes);
368 __sel4runtime_memcpy(tls, env.tls.image, env.tls.image_size);

Completed in 46 milliseconds