Lines Matching defs:slot
89 cspacepath_t slot;
188 * @param slot Stores details of the allocated slot
192 int allocman_cspace_alloc(allocman_t *alloc, cspacepath_t *slot);
197 * (*slot) == allocman_cspace_make_path(alloc, slot->capPtr). So if needed you can simply store
201 * @param slot The slot to free.
205 void allocman_cspace_free(allocman_t *alloc, const cspacepath_t *slot);
209 * If the slot is not valid in that cspace then the return path is completely undefined.
212 * @param slot The slot to convert
214 * @return cspacepath_t of the given slot
216 static inline cspacepath_t allocman_cspace_make_path(allocman_t *alloc, seL4_CPtr slot) {
218 return alloc->cspace.make_path(alloc->cspace.cspace, slot);
228 * @param path A path to a location to put the allocated object (this must be a valid empty slot)
246 * @param path A path to a location to put the allocated object (this must be a valid empty slot)