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

/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c552 reservation->malloced = 0;
592 res->malloced = 1;
604 reservation->malloced = 0;
627 ((sel4utils_res_t *)reservation.res)->malloced = 1;
649 if (res->malloced) {
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dvspace.h67 int malloced; member in struct:sel4utils_res

Completed in 86 milliseconds