/seL4-refos-master/kernel/src/api/ |
H A D | faults.c | 169 syscall_error_t res; local
|
/seL4-refos-master/kernel/src/ |
H A D | util.c | 105 long res; local
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | iommu_dma.c | 109 reservation_t res = vspace_reserve_range_at(dma->iospaces + i, (void *)addr, PAGE_SIZE_4K, seL4_AllRights, 1); local
|
H A D | page_dma.c | 70 reservation_t res = {NULL}; local
|
H A D | slab.c | 49 static int delegate_cspace_alloc(void *data, seL4_CPtr *res) argument 57 static void delegate_cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument 69 slab_utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 95 slab_utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument 101 delegate_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *res) argument [all...] |
/seL4-refos-master/libs/libsel4vka/src/ |
H A D | debug-vka.c | 114 static int cspace_alloc(void *data, seL4_CPtr *res) argument 162 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument 207 utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 228 utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument [all...] |
/seL4-refos-master/libs/libsel4vspace/src/ |
H A D | vspace.c | 81 reservation_t res = vspace_reserve_range_aligned(to, num_pages * (BIT(size_bits)), size_bits, local 112 int res = callback(access_addr, to_vaddr, cookie); local 122 reservation_t res; local [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | iommu_dma.c | 109 reservation_t res = vspace_reserve_range_at(dma->iospaces + i, (void *)addr, PAGE_SIZE_4K, seL4_AllRights, 1); local
|
H A D | page_dma.c | 70 reservation_t res = {NULL}; local
|
H A D | slab.c | 49 static int delegate_cspace_alloc(void *data, seL4_CPtr *res) argument 57 static void delegate_cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument 69 slab_utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 95 slab_utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument 101 delegate_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *res) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
H A D | debug-vka.c | 114 static int cspace_alloc(void *data, seL4_CPtr *res) argument 162 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument 207 utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 228 utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument [all...] |
/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | pthread_create.c | 181 int __pthread_create(pthread_t *restrict res, const pthread_attr_t *restrict attrp, void *(*entry)(void *), void *restrict arg) argument
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | timer_create.c | 81 int timer_create(clockid_t clk, struct sigevent *restrict evp, timer_t *restrict res) argument
|
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | irq_combiner.c | 29 uint32_t res[32]; member in struct:irq_combiner_map
|
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
H A D | keyboard_ps2.c | 37 uint32_t res = 0; local 47 uint32_t res = 0; local 174 uint8_t res = ps2_read_output(&state->ops); local 223 uint8_t res = ps2_read_output(&state->ops); local [all...] |
H A D | serial.c | 46 uint32_t res; local 70 uint32_t res; local
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/ |
H A D | vspace.c | 81 reservation_t res = vspace_reserve_range_aligned(to, num_pages * (BIT(size_bits)), size_bits, local 112 int res = callback(access_addr, to_vaddr, cookie); local 122 reservation_t res; local [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | irq_combiner.c | 29 uint32_t res[32]; member in struct:irq_combiner_map
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | keyboard_ps2.c | 37 uint32_t res = 0; local 47 uint32_t res = 0; local 174 uint8_t res = ps2_read_output(&state->ops); local 223 uint8_t res = ps2_read_output(&state->ops); local [all...] |
H A D | serial.c | 46 uint32_t res; local 70 uint32_t res; local
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/exynos5/ |
H A D | platform_init.c | 46 uint32_t res[5]; member in struct:cso 53 struct cso res[1]; member in struct:cpu_cfg
|
/seL4-refos-master/tools/elfloader/src/plat/exynos5/ |
H A D | platform_init.c | 46 uint32_t res[5]; member in struct:cso 53 struct cso res[1]; member in struct:cpu_cfg
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | lock.c | 704 register boolean res = 0; local 742 boolean res = TRUE; local [all...] |
H A D | monmove.c | 309 int res = m_arrival(mtmp); local
|
H A D | wield.c | 120 int res = 0; local
|