Commit 904446b4 authored by Josh Kunz's avatar Josh Kunz

Fix the tester programs for the modified grant interface

parent efc27ac8
Pipeline #656 passed with stage
......@@ -153,6 +153,8 @@ int testcase_grant()
struct cptr_cache *scache, *dcache;
char *p;
cap_type_t type;
/* Initialize Source cspace */
scsp = cap_alloc_cspace();
if (!scsp)
......@@ -218,7 +220,7 @@ int testcase_grant()
goto destroy_dcache;
}
ret = cap_grant(scsp, sslot, dcsp, dslot);
ret = cap_grant(scsp, sslot, dcsp, dslot, &type);
if (ret < 0) {
printf("Granting capability failed\n");
goto destroy_dcache;
......@@ -285,7 +287,8 @@ fail:
int grant(struct cspace *scsp, struct cspace *dcsp, cptr_t sslot, cptr_t dslot) {
int ret = 0;
ret = cap_grant(scsp, sslot, dcsp, dslot);
cap_type_t type;
ret = cap_grant(scsp, sslot, dcsp, dslot, &type);
if (ret < 0)
printf("Granting capability failed\n");
......
......@@ -182,6 +182,7 @@ void *thread_grant(void *arg) {
int ret = 0;
int i = 0;
int n = 200;
cap_type_t type;
printf("Grant called\n");
......@@ -203,7 +204,7 @@ void *thread_grant(void *arg) {
printf("Thread Grant : unstalled cptr slot %d (0x%lx)\n",
i,cptr_val(sslot_arr[i]));
}
ret = cap_grant(scsp, sslot_arr[i], dcsp, dslot);
ret = cap_grant(scsp, sslot_arr[i], dcsp, dslot, &type);
if (ret < 0) {
printf("Granting capability failed\n");
} else
......
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