/seL4-test-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | ltimer.c | 109 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | ltimer.c | 55 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | generic_ltimer.c | 73 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
|
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | multiboot2.h | 19 uint32_t type; member in struct:multiboot2_tag 26 uint32_t type; member in struct:multiboot2_memory 42 uint8_t type; member in struct:multiboot2_fb
|
H A D | multiboot.h | 27 uint32_t type; member in struct:multiboot_mmap
|
/seL4-test-master/kernel/src/arch/riscv/object/ |
H A D | objecttype.c | 312 bool_t Arch_isFrameType(word_t type) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | timer.c | 263 seL4_CPtr sel4platsupport_timer_objs_get_irq_cap(timer_objects_t *to, int id, irq_type_t type) argument
|
H A D | io.c | 157 seL4_Word type = kobject_get_type(KOBJECT_FRAME, mapping->page_size_bits); local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/ |
H A D | ltimer.h | 106 create_ltimer_simple( ltimer_t *ltimer, ps_io_ops_t ops, size_t sz, int (*get_time)(void *data, uint64_t *time), int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type), int (*reset)(void *data), void (*destroy)(void *data) ) argument
|
/seL4-test-master/kernel/src/arch/arm/32/object/ |
H A D | objecttype.c | 20 bool_t Arch_isFrameType(word_t type) argument [all...] |
/seL4-test-master/kernel/src/arch/arm/64/object/ |
H A D | objecttype.c | 16 bool_t Arch_isFrameType(word_t type) argument [all...] |
/seL4-test-master/projects/util_libs/libutils/src/ |
H A D | cbor64.c | 16 int cbor64_initial_byte(base64_t *streamer, cbor64_mt_t type, uint8_t data) argument 27 int cbor64_send_item(base64_t *streamer, cbor64_mt_t type, uint64_t number) argument 72 int cbor64_send_typed_bytes(base64_t *streamer, cbor64_mt_t type, unsigned char *buffer, size_t length) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | fault.h | 55 fault_type_t type; member in struct:fault
|
/seL4-test-master/projects/musllibc/src/locale/ |
H A D | iconv.c | 167 unsigned char type = map[-1]; local [all...] |
/seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
H A D | allocman.h | 79 seL4_Word type; member in struct:allocman_utspace_chunk 254 seL4_Word allocman_utspace_alloc(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, bool canBeDev, int *_error) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | slab.c | 38 seL4_Word type; member in struct:__anon451 69 static int slab_utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, argument 95 static int slab_utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, 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 109 slab_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument 135 alloc_object(vka_t *delegate, vka_object_t *untyped, size_t size_bits, seL4_Word type, vka_object_t *object) argument 156 alloc_object_slab(vka_t *delegate, vka_object_t *untyped, slab_t *slab, size_t n, size_t size_bits, seL4_Word type) argument 230 int type = object_descs[i].type; local [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | dmar.h | 17 uint16_t type; member in struct:acpi_dmar_remap_hdr 49 uint8_t type; member in struct:acpi_dmar_dscope 171 acpi_dmar_first_remap_type(acpi_dmar_hdr_t* tbl, int type) argument 155 acpi_dmar_next_remap_type(acpi_dmar_hdr_t* tbl, acpi_dmar_remap_hdr_t* hdr, int type) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 211 ssize_t simple_default_get_extended_bootinfo_size(void *data, seL4_Word type) argument 232 ssize_t simple_default_get_extended_bootinfo(void *data, seL4_Word type, void *dest, ssize_t max_len) argument
|
/seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | object.h | 33 seL4_Word type; member in struct:vka_object 40 static inline int vka_alloc_object_at_maybe_dev(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, argument 89 vka_alloc_object_at(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, vka_object_t *result) argument 94 vka_alloc_object(vka_t *vka, seL4_Word type, seL4_Word size_bits, vka_object_t *result) argument 102 vka_alloc_object_leaky(vka_t *vka, seL4_Word type, seL4_Word size_bits) argument 245 vka_alloc_kobject(vka_t *vka, kobject_t type, seL4_Word size_bits, vka_object_t *result) argument [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | ltimer.h | 158 static inline int ltimer_set_timeout(ltimer_t *timer, uint64_t nanoseconds, timeout_type_t type) argument [all...] |
H A D | irq.h | 43 irq_type_t type; member in struct:__anon1
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | ltimer.c | 136 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 135 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
|
/seL4-test-master/kernel/src/plat/imx31/machine/ |
H A D | hardware.c | 26 uint32_t type; /* 004 */ member in struct:imx31_l2cc_id
|
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/ |
H A D | machine.h | 144 static inline void invalidateLocalPCID(word_t type, void *vaddr, asid_t asid) argument
|