failure IDC_MSG_BOUNDS "Attempted to retrieve a word beyond the size of an LMP message structure",
// Generic CSpace lookup errors
+ failure CNODE_NOT_FOUND "Encountered null capability when resolving slot",
failure CNODE_TYPE "Encountered non-CNode capability when resolving slot",
failure CNODE_RIGHTS "Insufficient rights on CNode",
failure DEPTH_EXCEEDED "Exceeded depth limit of CSpace",
return SYS_ERR_OK;
}
+ // L2 CNode in given L1 slot does not exist
+ if (l2cnode->cap.type == ObjType_Null) {
+ TRACE(KERNEL, CAP_LOOKUP_SLOT, 1);
+ debug(SUBSYS_CAPS, "%s: l2cnode is NULL\n", __FUNCTION__);
+ return SYS_ERR_CNODE_NOT_FOUND;
+ }
if (l2cnode->cap.type != ObjType_L2CNode) {
TRACE(KERNEL, CAP_LOOKUP_SLOT, 1);
debug(SUBSYS_CAPS, "%s: l2cnode->type = %d\n", __FUNCTION__,