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 …]
1567 handle_response_yield(bool early, __assert_only Exclaves_L4_Word_t scid, in handle_response_yield()1570 Exclaves_L4_Word_t responding_scid = yield->thread; in handle_response_yield()1571 Exclaves_L4_Word_t yielded_to_scid = yield->yieldTo; in handle_response_yield()1593 handle_response_spawned(__assert_only Exclaves_L4_Word_t scid, in handle_response_spawned()1596 Exclaves_L4_Word_t responding_scid = spawned->thread; in handle_response_spawned()1627 Exclaves_L4_Word_t responding_scid = terminated->thread; in handle_response_terminated()1646 Exclaves_L4_Word_t responding_scid = wait->waiter; in handle_response_wait()1720 Exclaves_L4_Word_t responding_scid = wake->waker; in handle_response_wake()1751 Exclaves_L4_Word_t responding_scid = wake->waker; in handle_response_wake_with_owner()1784 Exclaves_L4_Word_t panic_thread_scid = panic_wait->handler; in handle_response_panic_wait()[all …]
97 exclaves_xnuproxy_endpoint_call(Exclaves_L4_Word_t endpoint_id);
445 Exclaves_L4_Word_t mrs = Exclaves_L4_MessageTag_Mrs(*tag); in exclaves_test_upcall_handler()447 Exclaves_L4_Word_t crs = Exclaves_L4_MessageTag_Crs(*tag); in exclaves_test_upcall_handler()449 Exclaves_L4_Word_t label = Exclaves_L4_MessageTag_Label(*tag); in exclaves_test_upcall_handler()
157 Exclaves_L4_Word_t scid;809 exclaves_xnuproxy_endpoint_call(Exclaves_L4_Word_t endpoint_id) in exclaves_xnuproxy_endpoint_call()815 Exclaves_L4_Word_t scid = thread->th_exclaves_ipc_ctx.scid; in exclaves_xnuproxy_endpoint_call()