/seL4-refos-master/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
|
H A D | mhitm.c | 203 res[NATTK]; /* results of all attacks */ local [all...] |
/seL4-refos-master/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-refos-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-refos-master/libs/libsel4utils/src/ |
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-refos-master/projects/seL4_libs/libsel4utils/src/ |
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-refos-master/libs/libplatsupport/src/mach/exynos/ |
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-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
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-refos-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-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | vspace.h | 86 static inline sel4utils_res_t *reservation_to_res(reservation_t res) argument
|
/seL4-refos-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-refos-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-refos-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-refos-master/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-refos-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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | mhitm.c | 203 res[NATTK]; /* results of all attacks */ local [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
H A D | private.h | 91 uint8_t res : 1; member in struct:__anon789::__anon790::__anon791::__anon792
|
/seL4-refos-master/libs/libelf/src/ |
H A D | elf.c | 88 int elf_newFile(void *file, size_t size, elf_t *res) argument 93 int elf_newFile_maybe_unsafe(void *file, size_t size, bool check_pht, bool check_st, elf_t *res) argument 141 int res = elf32_checkFile(elfFile); local
|
/seL4-refos-master/projects/util_libs/libelf/src/ |
H A D | elf.c | 88 int elf_newFile(void *file, size_t size, elf_t *res) argument 93 int elf_newFile_maybe_unsafe(void *file, size_t size, bool check_pht, bool check_st, elf_t *res) argument 141 int res = elf32_checkFile(elfFile); local
|