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

/seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/
H A Dtwinkle.h25 struct utspace_twinkle_ut { struct
33 struct utspace_twinkle_ut *uts;
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/utspace/
H A Dtwinkle.c40 struct utspace_twinkle_ut *new_uts;
47 new_uts = allocman_mspace_alloc(alloc, sizeof(struct utspace_twinkle_ut) * (num + twinkle->num_uts), &error);
52 memcpy(new_uts, twinkle->uts, sizeof(struct utspace_twinkle_ut) * twinkle->num_uts);
53 allocman_mspace_free(alloc, twinkle->uts, sizeof(struct utspace_twinkle_ut) * twinkle->num_uts);
56 new_uts[twinkle->num_uts] = (struct utspace_twinkle_ut) {

Completed in 26 milliseconds