/seL4-camkes-master/projects/musllibc/src/unistd/ |
H A D | sync.c | 4 void sync(void) function
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
H A D | sync.h | 15 #include <platsupport/sync/sync.h>
|
/seL4-camkes-master/projects/camkes/apps/socket/components/Receiver/include/ |
H A D | socket.h | 10 #include <platsupport/sync/spinlock.h>
|
/seL4-camkes-master/projects/camkes/apps/socket/components/Transport/include/ |
H A D | socket.h | 10 #include <platsupport/sync/spinlock.h>
|
/seL4-camkes-master/projects/camkes/apps/socket/components/Sender/include/ |
H A D | socket.h | 10 #include <platsupport/sync/spinlock.h>
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4NotificationQueue-from.template.c | 17 #include <sync/sem-bare.h>
|
H A D | rpc-connector-common-from.c | 24 #include <sync/sem-bare.h>
|
H A D | seL4Notification-to.template.c | 38 #include <sync/bin_sem_bare.h> 39 #include <sync/sem-bare.h>
|
H A D | seL4NotificationQueue-to.template.c | 21 #include <sync/bin_sem_bare.h> 22 #include <sync/sem-bare.h>
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/templates/ |
H A D | picotcp-socket-sync-server-init.template.c | 13 #include <picotcp-socket-sync.h>
|
/seL4-camkes-master/projects/camkes/apps/socket/components/Receiver/src/ |
H A D | receiver.c | 10 #include <platsupport/sync/spinlock.h>
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/include/usb/ |
H A D | usb_host.h | 21 #include <platsupport/sync/sync.h> 133 ps_mutex_ops_t* sync; member in struct:usb_host 202 * @param[in] sync a list of mutex operation functions. 208 int usb_host_init(enum usb_host_id id, ps_io_ops_t* ioops, ps_mutex_ops_t *sync, usb_host_t* hdev);
|
/seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/ |
H A D | bin_sem_bare.h | 24 #include <platsupport/sync/atomic.h>
|
H A D | mutex.h | 17 #include <sync/bin_sem.h>
|
/seL4-camkes-master/projects/camkes/apps/socket/components/Sender/src/ |
H A D | sender.c | 10 #include <platsupport/sync/spinlock.h>
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | sync.c | 17 #include <sync/mutex.h> 19 #include <camkes/sync.h>
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_sntp_c.tex | 4 This module allows you to sync your device to to a specified (s)ntp server. 8 \subsection{pico$\_$sntp$\_$sync} 11 Function to sync the local time to a given sntp server in string notation. DNS resolution will be done automatically. 40 \subsection{pico$\_$sntp$\_$sync$\_$ip} 43 Function to sync the local time to a given sntp server in IP address notation. 74 Function to get the current time. Be sure to call the pico$\_$sntp$\_$sync function to synchronise BEFORE calling this function.
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/proof/ |
H A D | Makefile | 22 sync: cogent
|
/seL4-camkes-master/projects/camkes/apps/mutex/templates/ |
H A D | seL4MyConnector-to.c | 10 #include <sync/mutex.h>
|
/seL4-camkes-master/projects/camkes/apps/socket/components/Transport/src/ |
H A D | transport.c | 10 #include <platsupport/sync/spinlock.h>
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/pc99/ |
H A D | ehci-pci.c | 110 usb_host_init(enum usb_host_id id, ps_io_ops_t* io_ops, ps_mutex_ops_t *sync, argument 127 hdev->sync = sync;
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/exynos5/ |
H A D | ehci-exynos5.c | 186 int usb_host_init(enum usb_host_id id, ps_io_ops_t *io_ops, ps_mutex_ops_t *sync, argument 200 hdev->sync = sync;
|
/seL4-camkes-master/kernel/src/plat/imx31/machine/ |
H A D | hardware.c | 40 uint32_t sync; /* 730 */ member in struct:imx31_l2cc_flush 84 /* We sync the l2 cache, which drains the write and eviction 86 imx31_l2cc_flush_regs->sync = 1;
|
/seL4-camkes-master/tools/rumprun/lib/librumprun_tester/ |
H A D | rumprun_tester.c | 67 sync();
|
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/ |
H A D | helpers.h | 22 #include <sync/bin_sem.h>
|