Searched refs:badge_endpoint (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dbinding.c24 static seL4_CPtr badge_endpoint(env_t env, seL4_Word badge, seL4_CPtr ep) function
51 seL4_CPtr badged_notification_ep = badge_endpoint(env, ASYNC, notification_ep);
52 seL4_CPtr badged_sync_ep = badge_endpoint(env, SYNC, sync_ep);
106 seL4_CPtr badged_notification_ep = badge_endpoint(env, ASYNC, notification_ep);

Completed in 85 milliseconds