/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
H A D | data_client_helper.h | 66 data_open_map(seL4_CPtr session, char* name, int flags, int mode, int size, int dspaceSize) argument
|
H A D | proc_client_helper.h | 124 proc_create_mem_window_ext(uint32_t vaddr, uint32_t size, uint32_t permission, uint32_t flags) argument 157 proc_clone(int (*func)(void *), void *childStack, int flags, void *arg) argument
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
H A D | walloc.c | 171 walloc_ext(int npages, seL4_CPtr *window, uint32_t permission, uint32_t flags) argument 71 walloc_list_ext(walloc_state_t *ws, int npages, seL4_CPtr *window, uint32_t permission, uint32_t flags) argument
|
H A D | device_io.c | 45 dev_io_map(void* cookie, uintptr_t paddr, size_t size, int cached, ps_mem_flags_t flags) argument 190 dev_dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | lev.h | 44 short flags; member in struct:ls_t
|
H A D | dgn_file.h | 24 int flags, member in struct:tmpdungeon 35 int chance, rndlevs, chain, flags; member in struct:tmplevel
|
/seL4-refos-master/apps/selfloader/src/ |
H A D | selfloader.h | 77 unsigned long flags; /*!< Read / write flags. */ member in struct:sl_elf_segment_info
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | getaddrinfo.c | 14 int family = AF_UNSPEC, flags = 0, proto = 0, socktype = 0; local
|
/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | sem_open.c | 27 sem_t *sem_open(const char *name, int flags, ...) argument
|
H A D | pthread_create.c | 187 unsigned flags = CLONE_VM | CLONE_FS | CLONE_FILES | CLONE_SIGHAND local
|
/seL4-refos-master/libs/librefos/src/refos-util/ |
H A D | device_io.c | 45 dev_io_map(void* cookie, uintptr_t paddr, size_t size, int cached, ps_mem_flags_t flags) argument 190 dev_dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | iommu_dma.c | 146 static void *dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument
|
H A D | page_dma.c | 66 static void *dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | dgn_file.h | 24 int flags, member in struct:tmpdungeon 35 int chance, rndlevs, chain, flags; member in struct:tmplevel
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | mem_syscall.c | 48 proc_create_mem_window_internal_handler(void *rpc_userptr , uint32_t rpc_vaddr , uint32_t rpc_size , uint32_t rpc_permissions, uint32_t flags, refos_err_t* rpc_errno) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | iommu_dma.c | 146 static void *dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument
|
H A D | page_dma.c | 66 static void *dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument
|
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | mem_syscall.c | 48 proc_create_mem_window_internal_handler(void *rpc_userptr , uint32_t rpc_vaddr , uint32_t rpc_size , uint32_t rpc_permissions, uint32_t flags, refos_err_t* rpc_errno) argument
|
/seL4-refos-master/libs/libmuslc/src/regex/ |
H A D | fnmatch.c | 49 static int pat_next(const char *pat, size_t m, size_t *step, int flags) argument 163 static int fnmatch_internal(const char *pat, size_t m, const char *str, size_t n, int flags) argument 298 fnmatch(const char *pat, const char *str, int flags) argument [all...] |
H A D | glob.c | 51 static int match_in_dir(const char *d, const char *p, int flags, int (*errfunc)(const char *path, int err), struct match **tail) argument 157 int glob(const char *restrict pat, int flags, int (*errfunc)(const char *path, int err), glob_t *restrict g) argument [all...] |
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 67 int flags; member in struct:ps_chardevice 209 static inline void ps_cdev_set_flags(ps_chardevice_t* d, int flags) argument
|
/seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/virtio/ |
H A D | virtio_ring.h | 69 uint16_t flags; member in struct:vring_desc 75 uint16_t flags; member in struct:vring_avail 89 uint16_t flags; member in struct:vring_used
|
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 67 int flags; member in struct:ps_chardevice 209 static inline void ps_cdev_set_flags(ps_chardevice_t* d, int flags) argument
|
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 107 int flags = periodic ? TCLR_AUTORELOAD : TCLR_ONESHOT; local
|
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
H A D | sp804.c | 97 int flags = periodic ? TCLR_AUTORELOAD : TCLR_ONESHOT; local
|