Searched defs:dvs (Results 1 - 1 of 1) sorted by last modified time

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Ddlmalloc.c4223 size_t dvs = gm->dvsize; local
4630 size_t dvs = ms->dvsize; local

Completed in 100 milliseconds