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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4Notification-from.template.c24 seL4_Signal(/*? notification ?*/);
H A DseL4NotificationNative-from.template.c26 seL4_Signal(/*? notification ?*/);
H A DseL4NotificationBind-from.template.c30 seL4_Signal(/*? notification ?*/);
H A DseL4IOAPICHardwareInterrupt.template.c63 #define WAKE() seL4_Signal(/*? lock ?*/)
H A DseL4GDB-to.template.c146 seL4_Signal(reply_cap);
H A Dcomponent.common.c833 seL4_Signal(/*? ntfn_passive_init ?*/);
/seL4-camkes-master/projects/global-components/templates/
H A DseL4GlobalAsynch-from.template.c22 seL4_Signal(/*? notification ?*/);
H A Drpc-signalling.template.c25 seL4_Signal(/*? notification ?*/);
H A DseL4VirtQueues-from.template.c119 seL4_Signal(signal_to_send);
126 seL4_Signal(/*? notification ?*/);
H A DseL4Ethdriver-to.template.c32 seL4_Signal(/*? notification ?*/);
H A DseL4MessageQueue-from.template.c64 seL4_Signal(/*? receiver_ntfn_cap ?*/);
/seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/
H A Dcondition_var.h92 seL4_Signal(cv->notification.cptr);
113 seL4_Signal(cv->notification.cptr);
132 seL4_Signal(cv->notification.cptr);
160 seL4_Signal(cv->notification.cptr);
H A Dbin_sem_bare.h50 seL4_Signal(notification);
H A Dsem-bare.h95 seL4_Signal(ep);
/seL4-camkes-master/projects/seL4_libs/libsel4sync/src/
H A Drecursive_mutex.c45 seL4_Signal(mutex->notification.cptr);
86 seL4_Signal(mutex->notification.cptr);
/seL4-camkes-master/tools/rumprun/platform/sel4/librumpsel4_stdio/
H A Dsel4_stdio_user.c43 seL4_Signal(env.custom_simple.stdio_ep[stdio]);
/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dsyscalls_master.h176 seL4_Signal(seL4_CPtr dest);
H A Dsyscalls_mcs.h296 seL4_Signal(seL4_CPtr dest);
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c237 seL4_Signal(env.custom_simple.timer_config.timer_ntfn);
/seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h70 LIBSEL4_INLINE_FUNC void seL4_Signal(seL4_CPtr dest) function
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h423 LIBSEL4_INLINE_FUNC void seL4_Signal(seL4_CPtr dest) function
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h74 LIBSEL4_INLINE_FUNC void seL4_Signal(seL4_CPtr dest) function
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h251 LIBSEL4_INLINE_FUNC void seL4_Signal(seL4_CPtr dest) function

Completed in 143 milliseconds