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

/barrelfish-2018-10-04/lib/mm/
H A Dslot_alloc.c28 uint8_t refill = !this->current; local
31 if (this->meta[refill].free == L2_CNODE_SLOTS) {
59 &this->meta[refill].cap.cnode, L2_CNODE_SLOTS);
65 this->meta[refill].cap.slot = 0;
66 this->meta[refill].free = L2_CNODE_SLOTS;
/barrelfish-2018-10-04/lib/libc/stdio/
H A DMakefile.inc21 refill.c remove.c rewind.c rget.c scanf.c setbuf.c setbuffer.c \

Completed in 42 milliseconds