Searched refs:Exclaves_L4_Word_t (Results 1 – 4 of 4) sorted by relevance
57 typedef unsigned long Exclaves_L4_Word_t; typedef60 typedef Exclaves_L4_Word_t Exclaves_L4_Error_t;68 #define Exclaves_L4_Word(x) ((Exclaves_L4_Word_t) (x))130 #define Exclaves_L4_Nil ((Exclaves_L4_Word_t) 0)219 typedef Exclaves_L4_Word_t Exclaves_L4_MessageTag_t;241 static inline Exclaves_L4_Word_t248 static inline Exclaves_L4_Word_t255 static inline Exclaves_L4_Word_t262 static inline Exclaves_L4_Word_t270 Exclaves_L4_MessageTag(Exclaves_L4_Word_t mrs, Exclaves_L4_Word_t crs, Exclaves_L4_Word_t label, in Exclaves_L4_MessageTag()[all …]
119 Exclaves_L4_Word_t *scid_out);122 Exclaves_L4_Word_t scid);135 exclaves_scheduler_resume_scheduling_context(Exclaves_L4_Word_t scid,136 Exclaves_L4_Word_t *spawned_scid, bool interrupted);141 exclaves_xnu_proxy_allocate_context(Exclaves_L4_Word_t *out_scid,144 exclaves_xnu_proxy_free_context(Exclaves_L4_Word_t scid);146 exclaves_xnu_proxy_endpoint_call(Exclaves_L4_Word_t endpoint_id);179 Exclaves_L4_Word_t scid;774 Exclaves_L4_Word_t scid = thread->th_exclaves_scheduling_context_id; in exclaves_allocate_ipc_buffer()801 Exclaves_L4_Word_t scid = thread->th_exclaves_scheduling_context_id; in exclaves_thread_free_ipc_buffer()[all …]
69 Exclaves_L4_Word_t spawned_scid = 0; in exclaves_xnu_proxy_panic_thread()77 Exclaves_L4_Word_t *); in exclaves_xnu_proxy_panic_thread()92 extern kern_return_t exclaves_scheduler_resume_scheduling_context(Exclaves_L4_Word_t, in exclaves_xnu_proxy_panic_thread()93 Exclaves_L4_Word_t *); in exclaves_xnu_proxy_panic_thread()
96 Exclaves_L4_Word_t *);527 Exclaves_L4_Word_t mrs = Exclaves_L4_MessageTag_Mrs(*tag); in exclaves_test_upcall_handler()529 Exclaves_L4_Word_t crs = Exclaves_L4_MessageTag_Crs(*tag); in exclaves_test_upcall_handler()531 Exclaves_L4_Word_t label = Exclaves_L4_MessageTag_Label(*tag); in exclaves_test_upcall_handler()561 const Exclaves_L4_Word_t request = 0xdecafbadfeedfaceul; in exclaves_hello_upcall_test()576 Exclaves_L4_Word_t reply = Exclaves_L4_GetMessageMr(0); in exclaves_hello_upcall_test()