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 …]
156 Exclaves_L4_Word_t *scid_out);159 Exclaves_L4_Word_t scid);180 exclaves_scheduler_resume_scheduling_context(Exclaves_L4_Word_t scid,181 Exclaves_L4_Word_t *spawned_scid, bool interrupted);188 exclaves_xnu_proxy_allocate_context(Exclaves_L4_Word_t *out_scid,191 exclaves_xnu_proxy_free_context(Exclaves_L4_Word_t scid);193 exclaves_xnu_proxy_endpoint_call(Exclaves_L4_Word_t endpoint_id);226 Exclaves_L4_Word_t scid;870 Exclaves_L4_Word_t scid = thread->th_exclaves_scheduling_context_id; in exclaves_allocate_ipc_buffer()897 Exclaves_L4_Word_t scid = thread->th_exclaves_scheduling_context_id; in exclaves_thread_free_ipc_buffer()[all …]
90 Exclaves_L4_Word_t spawned_scid = 0; in exclaves_xnu_proxy_panic_thread()98 Exclaves_L4_Word_t *); in exclaves_xnu_proxy_panic_thread()118 extern kern_return_t exclaves_scheduler_resume_scheduling_context(Exclaves_L4_Word_t, in exclaves_xnu_proxy_panic_thread()119 Exclaves_L4_Word_t *); in exclaves_xnu_proxy_panic_thread()
84 Exclaves_L4_Word_t *);431 Exclaves_L4_Word_t mrs = Exclaves_L4_MessageTag_Mrs(*tag); in exclaves_test_upcall_handler()433 Exclaves_L4_Word_t crs = Exclaves_L4_MessageTag_Crs(*tag); in exclaves_test_upcall_handler()435 Exclaves_L4_Word_t label = Exclaves_L4_MessageTag_Label(*tag); in exclaves_test_upcall_handler()465 const Exclaves_L4_Word_t request = 0xdecafbadfeedfaceul; in exclaves_hello_upcall_test()480 Exclaves_L4_Word_t reply = Exclaves_L4_GetMessageMr(0); in exclaves_hello_upcall_test()