Lines Matching refs:slot
156 struct cte *slot = caps_locate_slot(get_address(&cte->cap), i);
157 caps_mark_revoke_generic(slot);
348 // have cap to return to monitor but no allocated slot and no room in
469 // slot should now be empty
741 #define CHECK_SLOT(slot) do { \
742 assert((slot)->cap.type == ObjType_Null \
743 || (slot)->cap.type == ObjType_L1CNode \
744 || (slot)->cap.type == ObjType_L2CNode \
745 || (slot)->cap.type == ObjType_Dispatcher); \
746 if ((slot)->cap.type != ObjType_Null) { \
747 assert((slot)->mdbnode.in_delete); \
755 struct cte *slot = caps_locate_slot(get_address(&cte->cap), i);
756 CHECK_SLOT(slot);
789 // create a copy in slot specified by the caller, then delete
790 // `next` slot so the new copy is still the last copy.