Searched refs:Exclaves_L4_Word_t (Results 1 – 5 of 5) sorted by relevance
59 typedef unsigned long Exclaves_L4_Word_t; typedef62 typedef Exclaves_L4_Word_t Exclaves_L4_Error_t;70 #define Exclaves_L4_Word(x) ((Exclaves_L4_Word_t) (x))132 #define Exclaves_L4_Nil ((Exclaves_L4_Word_t) 0)221 typedef Exclaves_L4_Word_t Exclaves_L4_MessageTag_t;243 static inline Exclaves_L4_Word_t250 static inline Exclaves_L4_Word_t257 static inline Exclaves_L4_Word_t264 static inline Exclaves_L4_Word_t272 Exclaves_L4_MessageTag(Exclaves_L4_Word_t mrs, Exclaves_L4_Word_t crs, Exclaves_L4_Word_t label, in Exclaves_L4_MessageTag()[all …]
1656 handle_response_yield(bool early, __assert_only Exclaves_L4_Word_t scid, in handle_response_yield()1659 Exclaves_L4_Word_t responding_scid = yield->thread; in handle_response_yield()1660 Exclaves_L4_Word_t yielded_to_scid = yield->yieldTo; in handle_response_yield()1682 handle_response_spawned(__assert_only Exclaves_L4_Word_t scid, in handle_response_spawned()1685 Exclaves_L4_Word_t responding_scid = spawned->thread; in handle_response_spawned()1716 Exclaves_L4_Word_t responding_scid = terminated->thread; in handle_response_terminated()1735 Exclaves_L4_Word_t responding_scid = wait->waiter; in handle_response_wait()1809 Exclaves_L4_Word_t responding_scid = wake->waker; in handle_response_wake()1840 Exclaves_L4_Word_t responding_scid = wake->waker; in handle_response_wake_with_owner()1873 Exclaves_L4_Word_t panic_thread_scid = panic_wait->handler; in handle_response_panic_wait()[all …]
94 exclaves_xnuproxy_endpoint_call(Exclaves_L4_Word_t endpoint_id);
158 Exclaves_L4_Word_t scid;471 exclaves_xnuproxy_endpoint_call(Exclaves_L4_Word_t endpoint_id) in exclaves_xnuproxy_endpoint_call()477 Exclaves_L4_Word_t scid = thread->th_exclaves_ipc_ctx.scid; in exclaves_xnuproxy_endpoint_call()
732 Exclaves_L4_Word_t mrs = Exclaves_L4_MessageTag_Mrs(*tag); in exclaves_test_upcall_handler()734 Exclaves_L4_Word_t crs = Exclaves_L4_MessageTag_Crs(*tag); in exclaves_test_upcall_handler()736 Exclaves_L4_Word_t label = Exclaves_L4_MessageTag_Label(*tag); in exclaves_test_upcall_handler()