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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dfaults.c1014 seL4_Word proxy_badge = 3; local
1029 error = create_passive_thread_with_tfep(env, &proxy, tfep, proxy_badge,
1054 error = handle_timeout_fault(tfep, proxy_badge, &proxy.thread, proxy_ro, &proxy_cp,

Completed in 28 milliseconds