Commit 8d710ddb authored by Pankaj Kumar's avatar Pankaj Kumar

Small modification in cap.c

parent 6fc489e4
......@@ -747,7 +747,7 @@ int __lcd_cap_grant(struct cspace *cspacesrc, cptr_t c_src,
* Look up source
ret = __lcd_cnode_get(cspacesrc, c_src, false, &cnodesrc);
ret = __lcd_cnode_get__(cspacesrc, c_src, false, &cnodesrc);
if (ret) {
LCD_ERR("couldn't get source cnode");
goto fail1;
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment