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

/barrelfish-2018-10-04/kernel/
H A Dcap_delete.c301 struct cte ramcte; local
302 memset(&ramcte, 0, sizeof(ramcte));
303 ramcte.cap.u.ram = ram;
304 ramcte.cap.type = ObjType_RAM;
305 TRACE_CAP_MSG("reclaimed", &ramcte);

Completed in 79 milliseconds