/seL4-test-master/projects/musllibc/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-test-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...] |
H A D | thread.c | 35 sel4utils_configure_thread(vka_t *vka, vspace_t *parent, vspace_t *alloc, seL4_CPtr fault_endpoint, seL4_CNode cspace, seL4_Word cspace_root_data, sel4utils_thread_t *res) argument 46 sel4utils_configure_thread_config(vka_t *vka, vspace_t *parent, vspace_t *alloc, sel4utils_thread_config_t config, sel4utils_thread_t *res) argument 304 sel4utils_start_fault_handler(seL4_CPtr fault_endpoint, vka_t *vka, vspace_t *vspace, seL4_CPtr cspace, seL4_Word cap_data, char *name, sel4utils_thread_t *res) argument [all...] |
/seL4-test-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-test-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-test-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
|
H A D | mux.h | 40 uint32_t res[2]; member in struct:mux_cfg
|
H A D | clock.h | 66 uint32_t res[63]; member in struct:pll_regs
|
/seL4-test-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-test-master/tools/seL4/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-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | dmar.h | 26 uint8_t res[10]; member in struct:acpi_dmar_hdr 51 uint8_t res[2]; member in struct:acpi_dmar_dscope 78 uint8_t res[2]; member in struct:acpi_dmar_rmrr 90 uint8_t res[1]; member in struct:acpi_dmar_drhd 101 uint8_t res[1]; member in struct:acpi_dmar_atsr 110 uint8_t res[4]; member in struct:acpi_dmar_rhsa
|
H A D | asf.h | 24 uint8_t res[1]; member in struct:acpi_asf_rec_hdr_t 43 uint8_t res[4]; /* 0 */ member in struct:acpi_asf_info 63 uint8_t res[2]; /* 0 */ member in struct:acpi_asf_alrt
|
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | vspace.h | 86 static inline sel4utils_res_t *reservation_to_res(reservation_t res) argument
|
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | ioport.c | 172 uint32_t res; local 200 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], res); local
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | frames.c | 177 void *res = (void *)(seL4_Word)wait_for_helper(&handler); local 369 void *res = (void *)(seL4_Word)wait_for_helper(&handler); local
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 408 int res = ps_irq_register(&args->io_ops->irq_ops, irq, eth_irq_handle, args->eth_driver); local
|
/seL4-test-master/kernel/src/arch/riscv/kernel/ |
H A D | boot.c | 42 bool_t res = create_kernel_untypeds(root_cnode_cap, boot_mem_reuse_reg, slot_pos_before); local
|
/seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | vka.h | 142 static inline int vka_cspace_alloc(vka_t *vka, seL4_CPtr *res) argument 162 vka_cspace_make_path(vka_t *vka, seL4_CPtr slot, cspacepath_t *res) argument 183 vka_cspace_alloc_path(vka_t *vka, cspacepath_t *res) argument 217 vka_utspace_alloc(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 238 vka_utspace_alloc_maybe_device(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vchan/src/ |
H A D | vchan_component.c | 24 int res; local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | ioports.c | 134 ioport_fault_result_t res; local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | irq_combiner.c | 32 uint32_t res[32]; member in struct:irq_combiner_map
|
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
H A D | private.h | 91 uint8_t res : 1; member in struct:__anon432::__anon433::__anon434::__anon435
|