Commit 3517dc6e authored by Pankaj Kumar's avatar Pankaj Kumar

Removed print statements added for debbuging purpose

parent 6703d254
......@@ -381,7 +381,6 @@ static int __lcd_cnode_lookup(struct cspace *cspace, cptr_t c, bool alloc,
* should keep going, and < 0 on error.
*/
ret = walk_one_level(cspace, c, alloc, old, &new, cnode);
printf("ret=%d __lcd_cnode_lookup\n", ret);
old = new;
} while (!ret);
......@@ -505,7 +504,7 @@ int __lcd_cap_insert(struct cspace *cspace, cptr_t c, void *object,
/* Working on this. For now this will give some issues. */
static void free_cnode_object(struct cspace *cspace, struct cnode *cnode)
{
printf("Inside function free_cnode_object\n");
return;
/* struct lcd *lcd;
switch (cnode->type) {
case LCD_CAP_TYPE_SYNC_EP:
......@@ -558,7 +557,7 @@ static void free_cnode_object(struct cspace *cspace, struct cnode *cnode)
/* Kept the dummy, Will be removing subsequently */
static void update_microkernel(struct cspace *cspace, struct cnode *cnode)
{
printf("In function update_microkernel");
return;
/*
switch (cnode->type) {
case LCD_CAP_TYPE_SYNC_EP:
......
......@@ -75,23 +75,20 @@ int testcase1()
/* Capability deletion from cspace.
*/
slot_out_orig = slot_out;
__lcd_cap_delete(csp, slot_out);
printf("Old=0x%lx New=0x%lx\n", cptr_val(slot_out_orig), cptr_val(slot_out));
//Lookup
/*Lookup after deleting capability. It should Fail!!
*/
ret = __lcd_cnode_get(csp, slot_out, &check1);
if (ret < 0) {
LCD_ERR("Lookup failed\n");
//goto fail;
} else {
if (check1->object == p)
printf("Screwed!!!\n");
else
printf("Yippiee!!!\n");
}
/* Release cnode Lock */
__lcd_cnode_put(check1);
/* Free the cspace
......
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